So… Github.com has releases, and therefore typically tags get created automatically when you publish a new release. Sourcehut instead doesn’t have all that fancy stuff so… how do you create (and push) a git tag?

Simple enough:

git tag my-tag master
git push origin tag my-tag