Push git tags to a remote repository

If you ever wondered how to push the tags you set locally to a remote repository in git, you can do it with the following simple command:

git push --tags