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 finally found the solution: From the menu "Remote" select "Push to" and then select v0.3.0 from the "Tags" tab of the displayed dialog.