Tweak HACKING.

arensb · Sep 11, 2023 · 7f24863 · 7f24863
1 parent f721499
commit 7f24863
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/HACKING.md b/HACKING.md
@@ -32,7 +32,7 @@ about.
 1. Tag the git commit with the new release version, in the format
 `v1.2.3`.
 
-1. `git push`
+1. `git push; git push --tags`
 
 1. Create a release in github.