Algocraft / Git Commands / git tag
Pin a permanent, human-readable name onto a specific commit — perfect for marking releases
git push --tags