diff options
author | Malfurious <m@lfurio.us> | 2021-08-16 03:02:26 -0400 |
---|---|---|
committer | Malfurious <m@lfurio.us> | 2021-08-16 03:02:26 -0400 |
commit | dd615a1c8ac694d3ba8eda16faaea81f5bf427f8 (patch) | |
tree | 6923f646e784c4eadf0098652ccb795aefe0fed2 /www | |
parent | c4fc6df04a5042afb8f5d40d5881471a44f3f8a5 (diff) | |
download | site-dd615a1c8ac694d3ba8eda16faaea81f5bf427f8.tar.gz site-dd615a1c8ac694d3ba8eda16faaea81f5bf427f8.zip |
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>
Diffstat (limited to 'www')
-rw-r--r-- | www/contributing.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 >pr.txt<br /> # email contents of pr.txt |