Probabil ai văzut acea bifă pe pagina de setări a depozitului GitHub: "Necesită o pull request înainte de fuziune". Astăzi am aflat că este o afirmație destul de literală. După ce deschizi un PR, poți pur și simplu să trimiți în ramură același commit, iar GitHub îți permite să faci asta. 🤪

Am aflat pentru că am scris greșit origin în upstream și cu plăcere s-a unit PR-ul meu. Și mai ciudat, am încercat să împing 2 commit-uri. Unul a fost în PR, care a ajuns pe principal. Celălalt nu, care pur și simplu a dispărut, iar tipul a raportat același lucru. Se întâmplă chestii ciudate acolo.