build: push --all is too much

1 files changed, 1 insertions, 1 deletions

diff --git a/howto.txt b/howto.txt
index 0b566fee..8121b9db 100644
--- a/howto.txt
+++ b/howto.txt
@@ -56,7 +56,7 @@
         $ make kit_upload
 - Tag the tree
     $ git tag -a 3.0.1
-    $ git push --all --follow-tags
+    $ git push --follow-tags
 - Bump version:
     - coverage/version.py
         - increment version number