💾 Archived View for paritybit.ca › arboretum › programming › git.gmi captured on 2023-01-29 at 02:58:02. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Mostly things I don't do often and want a quick reference for.
Create an annotated tag:
git tag -a <tag name>
Add any relevant text (see Generating a Changelog below).
Use:
git push --tags OR git push --follow-tags
To either push the latest tag, or push tags with any un-pushed commits respectively.
Add the following to ~/.config/git/config to make that default behaviour when doing git push:
[push] followTags = true
git shortlog --numbered <previous_tag>..HEAD