Så, du såg förmodligen den bocken på GitHub-arkivets inställningssida: "Kräv en pull request före sammanslagning". Idag lärde jag mig att det är ett ganska bokstavligt påstående. Efter att du öppnat en PR kan du bara pusha samma commit till grenen och GitHub låter dig göra det. 🤪

Fick reda på det eftersom jag skrev fel origin till upstream och det slog glatt ihop min PR. Ännu konstigare var att jag försökte trycka 2 commits. En var i PR, som hamnade på huvudlinjen. Den andra var det inte, den försvann bara, med git som rapporterade samma sak till chefen. Konstiga saker händer där inne.