// https://stackoverflow.com/a/5434370/826308 git checkout master git pull # to update the state to the latest remote master state git merge develop # to bring changes to local master from your develop branch git push origin master # push current HEAD to remote master branch
Created
January 29, 2020 17:27
-
-
Save cemerson/44f4ec1d43a1ee78779929c2628c2aef to your computer and use it in GitHub Desktop.
GIT: push branch to master remote
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment