Pushing to remote server should be optional if someone else than the releaser has something to add
to the release branche. Otherwise, no need to.
Also, we should use <git flow publish> instead just to stay in the flow ;)