When I create a tag on my local repository
it is created on my local repository.
I do not know how to push this the origin located on GitHub.
I could push this to the remote repository on the command line by
git push origin v0.3.0
but I wonder if there is way to do this through the GUI of Gitahead.