From dd615a1c8ac694d3ba8eda16faaea81f5bf427f8 Mon Sep 17 00:00:00 2001
From: Malfurious <m@lfurio.us>
Date: Mon, 16 Aug 2021 03:02:26 -0400
Subject: contributing: Fix git push example command

I forgot --all and --tags are incompatible.  The idea was to 'push all
branches and tags'.  Instead, for simplicity _and correctness_, just
recommend git push --tags as the bare minimum.

Signed-off-by: Malfurious <m@lfurio.us>
---
 www/contributing.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'www')

diff --git a/www/contributing.html b/www/contributing.html
index 7a31a08..652805b 100644
--- a/www/contributing.html
+++ b/www/contributing.html
@@ -162,7 +162,7 @@
 
         <div class="literal">
             $ git tag -s pull-new-feature-x<br />
-            $ git push --all --tags<br /><br />
+            $ git push --tags<br /><br />
 
             $ git request-pull origin/master fork pull-new-feature-x &gt;pr.txt<br />
             # email contents of pr.txt
-- 
cgit v1.2.3