Hoe push ik een lokale Git branch naar master branch in de remote?

Ik heb een branch genaamd ontwikkel in mijn lokale repo, en ik wil er zeker van zijn dat wanneer ik het naar de oorsprong push, deze wordt samengevoegd met de oorsprong/master. Momenteel, wanneer ik push, wordt het toegevoegd aan een externe ontwikkeltak.

Hoe kan ik dit doen?

Antwoord 1, autoriteit 100%

$ git push origin develop:master

of, meer in het algemeen

$ git push <remote> <local branch name>:<remote branch to push into>

Antwoord 2, autoriteit 24%

Zoals mensen in de reacties al zeiden, wil je dat waarschijnlijk niet doen…
Het antwoord van mipadi is absoluut correct als je weet wat je doet.

Ik zou zeggen:

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

Antwoord 3

Je kunt het ook op deze manier doen om impliciet naar de vorige tak te verwijzen:

git checkout mainline
git pull
git merge -
git push

Antwoord 4

Als uitbreiding op @Eugene’s antwoord een andere versie die zal werken om code van lokale repo naar master/develop branch te pushen.

Schakel over naar branch ‘master’:

$ git checkout master

Samenvoegen van lokale repo naar master:

$ git merge --no-ff FEATURE/<branch_Name>

Duwen om te beheersen:

$ git push

Antwoord 5

Volg de onderstaande stappen om de lokale repo naar de Master-branch te pushen

$ git status