how to push one branch to master branch 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