Allow remote tag updates during push

I would like to be able to update remote tags when doing a push so that I don't have to issue the push from the command line.

To update remote tags, a force push is necessary, with the -f parameter:

git -c diff.mnemonicprefix=false -c core.quotepath=false push -v --tags -f origin master:master