I am using Git Gui.
I have pushed my changes to master.
But in order to make them live they have to be pushed to master:production
.
I don't see any options for production when I click the push button. The only thing that appears in the Source Branches is master.
Any help?
It is not possible in Git Gui to select another remote branch for push, you have to do it from the command line:
git push remote local_branch:remote_branch
So in your case this is
git push remote master:production