added info about git fetch

2025-06-21 16:49:42 +00:00 · 2019-03-24 18:08:41 +01:00
parent 7a1dadf10c
commit 03afc32392
1 changed files with 1 additions and 1 deletions
--- a/docs/maintenance/update-the-devilbox.rst
+++ b/docs/maintenance/update-the-devilbox.rst
@ -57,7 +57,7 @@ If you want to checkout a specific release tag (such as ``0.12.1``), do a ``git
   # Checkout release
   host> cd path/to/devilbox
   # Ensure you have latest from remote
-   host> git pull
+   host> git fetch
   host> git checkout 0.12.1