Mi rendo conto che è una vecchia questione, ma GitHub ha recentemente introdotto alcune nuove funzionalità che rendono possibile aggiornare in realtà una richiesta di pull presentata da un altro utente.
Quando si crea una nuova richiesta di pull, viene visualizzata una casella di controllo "Consenti modifiche dai manutentori". Questo è abilitato di default.
Con questo in luogo, chiunque abbia l'accesso commit al repository che è la bersaglio della vostra richiesta di pull sarà anche in grado di spingere le modifiche al ramo di repository che è l'origine della richiesta di pull.
Questo è particolarmente utile negli ambienti di team in cui tutti hanno accesso al repository "principale", ma tutto il lavoro viene svolto sui rami delle funzionalità nei singoli fork.Significa che se c'è una richiesta di pull aperta che richiede alcune modifiche e l'autore principale non è disponibile, qualcun altro del team può apportare direttamente gli aggiornamenti necessari, piuttosto che chiudere il PR esistente e aprirne uno nuovo.
Cosa fare se non si desidera estrarre il ramo master dell'utente ma un altro ramo nell'albero? http://stackoverflow.com/questions/1709177/git-pull-certain-branch-from-github – netpoetica
Il nome del ramo è un secondo argomento opzionale a 'git pull' – Loren
Penso che' 'git fetch upstream pull//head: '' è meglio di git pull per tirare PRs. –