Github: spingere per tirare le richieste

Question

Sto per tirarmi fuori i capelli.

Ho inviato una richiesta di pull dal mio fork di un progetto, di nuovo al repository proprietario/maintainer. In questa richiesta di pull, sono venute fuori alcune cose che ho dovuto aggiungere/modificare in base a nuove informazioni. Ho fatto queste modifiche, e ora sto cercando di PUSH per quella richiesta di pull.

In base alla pagina "Problema" di Github, in fondo, si dice che posso inviare commit direttamente al problema (richiesta pull) spingendo al ramo abc123 sulla mia fork del repository.

Il problema è che quando faccio git push origin abc123 ottengo l'errore:

fatal: 5fa087b35cb8379f282174df2f4197ba258ffd05 cannot be resolved to branch. 

Non sono sicuro di come risolvere questo problema. Dovrei semplicemente chiudere la richiesta di pull e ripresentare? O c'è qualcosa che sto sbagliando, o più di quello che devo fare?

Grazie.

Answer 1

In realtà è (da GitHub Remotes help page)

git push REMOTENAME LOCALBRANCHNAME:REMOTEBRANCHNAME 

Non hai:

• creare un ramo 'abc123' locale
• specificare un nome filiale locale

Così , cosa dovrebbe funzionare è (se si è sul ramo principale per esempio):

git push origin master:abc123 

In generale, il default push policy è "matching": git push origin abc123 sarebbe cercare di spingere una filiale locale di nome abc123 ad un ramo a distanza con lo stesso nome.