Document how to push tags

DanielXMoore · Aug 20, 2024 · b30e7d6 · b30e7d6
1 parent cf99393
commit b30e7d6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -178,3 +178,4 @@ relevant channel (e.g. `#compiler` for questions about the parser).
    * `yarn changelog --release` to update `CHANGELOG.md`
      and (ask to) create a release commit and tag it
    * Submit files to NPM (usually requiring 2FA)
+3. `git push --follow-tags` to push new commit and tag