Tagging is nice but I always forget to push the darn things. And yes, I am one of those guys that push all local tags – so what? We’re all kinky in our ways.
There are many ways you can ensure you push tags with your regular push but my favorite is just editing
.gitconfig. In the
[remote "origin"] section I just add the following two lines:
push = +refs/heads/*:refs/heads/*
push = +refs/tags/*:refs/tags/*
Now each push will come with a bit of extra.