How to move a git tag on your local repository and push the changes to the remote server.

This is a description of the git workflow if you need to have private commits that are not visible in a public repository.