when tagging a release, push commits to master

So we don't forgot to update github when we do releases...