how to push a branch to master git code example

Example 1: push from branch to master

$ git push origin develop:master

$ git push <remote> <local branch name>:<remote branch to push into>
#local branch name can be HEAD if you dont want to specifie the local branch