My brain just doesn’t seem to be able to store the git commands for tagging commits and then pushing the tags. So, primarily for my benefit, here’s how to tag a commit and then push the tags:

git tag -a v0.1.2 be4410b0d4e805f4b94c4f271980b0c44c998745 -m v0.1.2
git push --tags

…where be4410b0d4e805f4… is the commit hash.