Allow to push the tag

We don't get a tag pushed with the current `publish.sh` script. This pull request should fix it.