How to push from a remote branch to master: https://stackoverflow.com/questions/5423517/how-do-i-push-a-local-git-branch-to-master-branch-in-the-remote
What to do if you know what you are doing or are experienced with Git:
$ git push <remote branch>:master
$ git push <remote> <local branch name>:<remote branch to push into>
git checkout master git pull # to update the latest master state git merge develop # to merge branch to master git push origin master # push current HEAD to master
I did the second version, and was able to successfully push to master!