git push dev into master code example

Example 1: push from branch to master

$ git push origin develop:master

Example 2: push from branch to 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