To have this as an answer: there is at the moment no way to do remote tagging with git, but if you have access in some way to the remote (bare) repository, you may be able to tag on the remote location.
For example, if you access the git repository via SSH, you can login using SSH, go to the (bare) repository and execute the tag command (git tag build-1234 master
) in the (bare) repository.
(I am not completely sure about the tool mentioned by @ruslan-kabalin)
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…