Comment annuler une pull request sur github?

152

Comment une pull request sur github peut-elle être annulée?

MISE À JOUR La réponse acceptée n'a pas détaillé les étapes de la réponse et dans tous les cas, github a rendu cela très simple depuis que cette question a été posée, voici donc les étapes:

Visitez la page de demande de tirage
Appuyez sur le bouton "Fermer la demande de tirage"

git github pull-request Memmons
la source

1.5 Faites défiler vers le bas.

ThomasW

129

GitHub prend désormais en charge la fermeture d'une pull request

vous cad monsieur - prenez ça
la source

43

C'est très loin sur la page. Faites simplement défiler tout le chemin vers le bas.

larsr

2

Conseil: le bouton de fermeture se trouve sur la demande d'extraction sur le dépôt cible . Vous ne le trouverez pas sur la page de la demande d'extraction dans le dépôt source.

Mars

3

Existe-t-il un moyen de supprimer un PR non seulement de fermer? Merci.

f01

petite correction nécessaire dans la page d'aide de github, cliquez sur le dépôt d'origine pour lequel vous avez soumis une pull request. Cliquez sur le nom du PR et faites défiler vers le bas.

vikramvi

16

Dans l'esprit d'un DVCS (comme dans "Distribué"), vous n'annulez pas quelque chose que vous avez publié: les
pull requests sont essentiellement des correctifs que vous avez envoyés (normalement par e-mail, ici par l'application web GitHub), et vous n'annulez pas un email soit;)

Mais comme le système GitHub Pull Request comprend également une section de discussion, c'est là que vous pourriez exprimer votre préoccupation au destinataire de ces modifications, en lui demandant de ne pas tenir compte de 29 de vos 30 commits.

Enfin, rappelez-vous:

a / vous avez une section d'aperçu lorsque vous faites une pull request, vous permettant de voir le nombre de commits sur le point d'y être inclus, et de revoir leur différence.
b / il est préférable de rebaser l'œuvre que vous souhaitez publier en tant que pull request au-dessus de la branche distante qui recevra ledit travail. Ensuite, vous pouvez faire une demande d'extraction qui pourrait être appliquée en toute sécurité de manière rapide par le destinataire.

Cela étant dit, depuis janvier 2011 (" Refreshed Pull Request Discussions "), et mentionné dans la réponse ci - dessus , vous pouvez fermer une pull request dans les commentaires.
Recherchez le bouton "Commenter et fermer" en bas de la page de discussion:

VonC
la source

4

Marquer ceci comme correct. Après plus de recherches, j'ai trouvé une référence sur github lui-même qui indique que les demandes d'extraction ne peuvent pas être annulées. Bien que je comprenne l'argument théorique que vous avancez contre le fait d'avoir cette option, pratiquement la pull request n'est rien de plus qu'un lien ajouté à une base de données. Donc, en fait, vous devriez être en mesure d'annuler la demande - nous ne parlons pas de courrier électronique ici, donc on ne devrait pas s'attendre à ce que nous devions suivre le même modèle de conception que le courrier électronique.

memmons

1

@Harkonian: Je suis entièrement d'accord avec votre argument: la source et la destination sont du côté du serveur GitHub webapp, donc toute action (comme une annulation) devrait être possible. Mais actuellement, vous devrez faire une "demande d'amélioration" à l'équipe GitHub afin de demander cette fonctionnalité.

VonC

8

Si vous avez envoyé une demande d'extraction sur un référentiel dans lequel vous ne disposez pas des droits pour le fermer, vous pouvez supprimer la branche d'où provient la demande d'extraction. Cela annulera la demande de tirage.

Roch
la source

Oui, la suppression de la branche d'origine supprimera la demande d'extraction.

Victor Martins

9

cela ne semble pas fonctionner pour moi. J'ai supprimé tout mon référentiel mais la pull request est toujours là.

Dave L.

9

Les demandes d'extraction ne sont pas supprimées. Votre repo apparaîtra dans le PR sous la forme unknown repository.

Danyal Aytekin

5

Allez à l'onglet de conversation puis descendez il y a un bouton " fermer la demande de tirage " est-ce qu'il utilise ce bouton pour fermer la demande de tirage, prendre la référence de l'image jointe

Mohit
la source

-2

Je voulais faire un commentaire, mais comme ma réputation ne peut pas être commentée, il fallait que ce soit une réponse. Github vous permettra non seulement d' annuler une pull request, mais également de la supprimer en supprimant simplement le fork que vous essayez de pousser. J'espère que cela peut aider d'autres personnes à rechercher cela sur Google.

Arkadij
la source

4

Ce n'est pas vrai. La suppression de votre fork ne supprimera pas la demande d'extraction.

Craig Brown

Comment annuler une pull request sur github?

Réponses: