Advertisement
Guest User

Untitled

a guest
Mar 18th, 2019
85
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.12 KB | None | 0 0
  1. $ git push origin develop:master
  2.  
  3. or, more generally
  4.  
  5. $ git push <remote> <local branch name>:<remote branch to push into>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement