on peut détourner la commande 'push' pour modifier/mettre à jour une branche locale sans être obligé de faire un checkout (qui peut être pénible et lent si la branche courante a pas mal divergé)
J'avoue que je ne connaissais pas. Généralement j'évite les checkout en me référençant à la branche distante du genre :
git fetch
git rebase origin/${branch}
git push --force-with-lease
J'ai pas trouvé la description du point dans la doc de git push, j'imagine que ça représente le "remote" local ?
[^] # Re: Du gitcode à partager - ou pas
Posté par barmic 🦦 . En réponse au lien « Et merde, Git!?! ». Évalué à 3.
J'avoue que je ne connaissais pas. Généralement j'évite les checkout en me référençant à la branche distante du genre :
J'ai pas trouvé la description du point dans la doc de git push, j'imagine que ça représente le "remote" local ?
https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll