Git/pull-request
< Git
PrincipeModifier
Une fois un dépôt distant cloné en local, il est facile de mettre régulièrement à jour sa version, à l'aide de la commande git pull
depuis le répertoire du dépôt (via crontab par exemple).
Par contre pour envoyer ses versions développées localement sur le dépôt distant, cela nécessite une pull request (PR, une demande de tirage), par email à l'administrateur du dépôt distant[1] :
git request-pull
Si la branche a été mise à jour depuis un autre client, git gère la fusion automatiquement si les fichiers modifiés sont différents. Par contre s'il y en a en commun, il faut procéder manuellement avec un rebase interactif :
git rebase -i origin/MaBranche1
Pour éviter cela, il faut bien vérifier que la branche sur laquelle on commence à travailler est bien la dernière version, avec :
git fetch origin/MaBranche1
- Ne pas lancer de
pull
après unrebase
sous peine d'inclure dans sa branche locale, les commits effectués entre-temps sur la branche principale. - Ne pas lancer un
push
après unreset
total de la branche, car une PR sans commit sera automatiquement fermée.