Come annullare una richiesta pull su github?

152

Come si può cancellare una richiesta pull su github?

AGGIORNAMENTO La risposta accettata non ha dettagliato i passaggi della risposta e in ogni caso, github ha reso questo morto semplice da quando è stata posta questa domanda, quindi ecco i passaggi:

Visita la pagina di richiesta pull
Tocca il "pulsante di richiesta pull pull"

git github pull-request

— memmons
fonte

1.5 Scorri verso il basso.

— ThomasW,

129

GitHub ora supporta la chiusura di una richiesta pull

— cad signore, prendetelo
fonte

43

È molto in fondo alla pagina. Basta scorrere verso il basso.

— Larsr,

2

Suggerimento: il pulsante di chiusura si trova sulla richiesta pull nel repository di destinazione . Non lo troverai nella pagina per la richiesta pull nel repository di origine.

— Marte,

3

C'è un modo per eliminare un PR non solo chiudere? Grazie.

— f01

piccola correzione necessaria nella pagina di aiuto di github, fai clic sul repository originale per il quale hai inviato la richiesta pull. Fai clic sul nome di PR e scorri verso il basso.

— vikramvi,

16

Nello spirito di un DVCS (come in "Distribuito"), non annulli qualcosa che hai pubblicato: le
richieste pull sono essenzialmente patch che hai inviato (normalmente via e-mail, qui tramite webapp GitHub), e non annulleresti un e-mail o;)

Ma poiché il sistema di richiesta pull di GitHub include anche una sezione di discussione, sarebbe lì che potresti esprimere la tua preoccupazione al destinatario di tali modifiche, chiedendogli di ignorare 29 dei tuoi 30 commit.

Infine, ricorda:

a / hai una sezione di anteprima quando fai una richiesta pull, che ti consente di vedere il numero di commit che stanno per essere inclusi in essa e di rivedere il loro diff.
b / è preferibile modificare il lavoro che si desidera pubblicare come richiesta pull in cima al ramo remoto che riceverà tale lavoro. Quindi è possibile effettuare una richiesta pull che può essere tranquillamente applicata in modo rapido dal destinatario.

Detto questo, da gennaio 2011 (" Discussioni di richieste pull aggiornate "), e menzionato nella risposta sopra , è possibile chiudere una richiesta pull nei commenti.
Cerca quel pulsante "Commenta e chiudi" nella parte inferiore della pagina di discussione:

— VonC
fonte

4

Contrassegnando questo come corretto. Dopo ulteriori ricerche ho trovato un riferimento su Github stesso che dice che le richieste pull non possono essere cancellate. Mentre capisco l'argomento teorico che stai sostenendo anche con l'opzione, praticamente la richiesta pull non è altro che un collegamento aggiunto a un database. Quindi, in effetti dovresti essere in grado di annullare la richiesta - non stiamo parlando di e-mail qui, quindi l'aspettativa non dovrebbe essere che dobbiamo seguire lo stesso modello di progettazione dell'email.

— Memmons

1

@Harkonian: concordo pienamente con il tuo argomento: l'origine e la destinazione sono sul lato server webapp GitHub, quindi qualsiasi azione (come un annullamento) dovrebbe essere possibile. Ma al momento, è necessario presentare una "richiesta di miglioramento" al team di GitHub per richiedere quella funzione.

— VonC,

8

Se hai inviato una richiesta pull su un repository in cui non hai i diritti per chiuderla, puoi eliminare il ramo da cui ha avuto origine la richiesta pull. Ciò annullerà la richiesta pull.

— Roch
fonte

Sì, l'eliminazione del ramo di origine eliminerà la richiesta pull.

— Victor Martins,

9

questo non sembra funzionare per me. ho cancellato il mio intero repository ma la richiesta pull è ancora lì.

— Dave L.,

9

Le richieste pull non vengono eliminate. Il tuo repository apparirà nel PR come unknown repository.

— Danyal Aytekin,

5

Vai alla scheda conversazione quindi scendi c'è un pulsante " chiudi richiesta pull " c'è quel pulsante per chiudere la richiesta pull, prendi riferimento all'immagine allegata

— Mohit
fonte

-2

Volevo commentare, ma poiché la mia reputazione non si qualifica per i commenti, doveva essere una risposta. Github in realtà ti consentirà non solo di annullare una richiesta pull, ma anche di eliminarla semplicemente eliminando il fork che stai cercando di spingere. Spero che questo possa aiutare alcuni altri a cercarlo su Google.

— Arkadij
fonte

4

Questo non è vero. L'eliminazione del fork non eliminerà la richiesta pull.

— Craig Brown,