4
votes

Comment extraire une pull request depuis l'amont dans github

J'ai forké un repo dans github. Il y a quelques nouvelles requêtes d'extraction dans Upstream . Je souhaite extraire une pull request de l'amont localement.

Comment puis-je faire ça? Je n'en ai aucune idée et je n'ai rien trouvé à ce sujet.


5 Réponses :


0
votes

L'API GitHub prend en charge fusionner une demande d'extraction sur le serveur à l'aide d'une demande PUT. Donc, vous pouvez faire un PUT localement et fusionner une pull request.

Mais notez que cela signifie simplement qu'une fusion s'est produite sur le serveur. Si vous étiez sur une branche, dites master , et que vous avez déclenché à distance une pull request, si vous vouliez le dernier contenu, vous devrez toujours faire un pull:

git pull origin master


0 commentaires

0
votes

La requête d'extraction n'est pas une fonctionnalité git, c'est un workflow et en tant que tel doit être suivie s'il y a un besoin de réplication. Donc, le seul moyen est de faire la même chose localement.

git checkout featureA # as it has to be on origin
git checkout master/develop
git merge featureA

À ce stade, vous êtes dans l'état de la demande d'extraction.


0 commentaires

0
votes

Essayez ceci - faites un

git pull

pour vous assurer que vous avez les dernières modifications dans master, puis lorsque vous êtes sur la branche master, faites un

git checkout <branch name >

à la personne désirée qui a le PR (pull request) et enfin faire un

git pull

sur cette branche. Je pense que cela devrait extraire l'état actuel du brach qui a une pull request.


0 commentaires

3
votes

Voir https://help.github.com/articles / check-out-pull-requests-localement / :

git fetch origin pull/ID/head:BRANCHNAME
git checkout BRANCHNAME

ID est le numéro de la demande d'extraction et BRANCHNAME est un nom arbitraire pour la nouvelle branche locale.


0 commentaires

8
votes

Vous devriez pouvoir le faire en ajoutant d'abord l'amont en tant que distant, puis en tirant la demande d'extraction:

git push -u origin BRANCHNAME

USER n'est pas votre nom d'utilisateur mais celui d'origine (celui à partir duquel vous avez dérivé), ID est l'identifiant de la demande d'extraction et BRANCHNAME sera le nom de la branche locale correspondant à la demande d'extraction. p >

Si vous voulez pousser vers votre propre fork plus tard, vous devrez probablement configurer l'amont (à partir de BRANCHNAME):

git remote add upstream https://github.com/USER/repository.git
git pull upstream pull/ID/head:BRANCHNAME
git checkout BRANCHNAME

p >


0 commentaires