Git tags. Minor, but very useful things to give a name to your commit
git tag Git tags
Tag just a commit with name you can use during checkout. Tag name is just a string value
Create tag locally
git tag v2.12.07
now, we can do
git checkout v2.12.07
Delete tag locally
git tag -d v2.12.07
List tags in local repo
git tag
Push local tags to remote (only tags)
git push --tags
Remove a tag from remote
git push --delete v2.12.07
intel cas links atomic ruby jekyll blog scala markdown mdoc java encapsulation git tag http4s saml pac4j linux uuidgen base64 lsof jps github sed cicd teaching laika enumeratum database fp SQL interview