don't fetch before pull

This commit is contained in:
Denis Lehmann 2023-09-22 09:21:13 +02:00
parent 5a8ebed33d
commit c1d456d6eb
2 changed files with 2 additions and 3 deletions

View file

@ -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