From c1d456d6ebd40aa20505d4fb56eb1b2c43a010f1 Mon Sep 17 00:00:00 2001
From: Denis Lehmann <denis.lehmann@4am-robotics.com>
Date: Fri, 22 Sep 2023 09:21:13 +0200
Subject: [PATCH] don't fetch before pull

---
 README.org | 2 +-
 gis        | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.org b/README.org
index 995c2a7..6b155e0 100644
--- a/README.org
+++ b/README.org
@@ -19,7 +19,7 @@ It was inspired by [[https://wiki.ros.org/wstool][wstool]], [[https://github.com
     OPTIONS
       -f, --fetch  Execute 'git fetch --prune --all' for all repositories in PATHS
       -p, --pull   Execute 'git pull' for all repositories which are behind upstream
-                   in PATHS (includes '--fetch')
+                   in PATHS
       -h, --help   Show this help message and exit
   #+end_example
 
diff --git a/gis b/gis
index 67fbda4..d77bb99 100755
--- a/gis
+++ b/gis
@@ -20,7 +20,7 @@ If the variable isn't set, the current work directory is used.
 OPTIONS
   -f, --fetch  Execute 'git fetch --prune --all' for all repositories in PATHS
   -p, --pull   Execute 'git pull' for all repositories which are behind upstream
-               in PATHS (includes '--fetch')
+               in PATHS
   -h, --help   Show this help message and exit
 EOF
     exit
@@ -36,7 +36,6 @@ while (( "$#" )); do
             shift
             ;;
         -p|--pull)
-            fetch=true
             pull=true
             shift
             ;;