In a python script, I try to create and push a tag to origin on a git repository. I use gitpython-1.0.2.
I an able to checkout anexisting tag but no way to find how to push a new tag to remote.
Many thanks
new_tag = repo.create_tag(tag, message='Automatic tag "{0}"'.format(tag))
repo.remotes.origin.push(new_tag)