Fix: docs: development: ensure to fetch all remotes after making a new release

diff --git a/development.md b/development.md
index da74b5a29132c9ed9bd3afe7d39ce01be4935ae6..46bc9f17d61f5803900bcf7521f6e34feeb294e7 100644 (file)
--- a/development.md
+++ b/development.md
@@ -45,6 +45,7 @@ If there are repository mirrors, ensure to push changes there as well. Example:
 
     git push all
     git push all --tags
+    git fetch --all
 
 Build the package from the debian Git branch: