Git: create and push a tag