how to push changes to mainline from git code example

Example: push from branch to master

$ git push origin develop:master