Więc prawdopodobnie widziałeś ten znacznik na stronie ustawień repozytorium GitHub: "Wymagaj pull requesta przed scaleniem". Dziś się dowiedziałem, że to dość dosłowne stwierdzenie. Po otwarciu PR możesz po prostu wypchnąć do gałęzi ten sam commit, a GitHub pozwala ci to zrobić. 🤪

Dowiedziałem się, ponieważ źle wpisałem origin jako upstream i z radością połączył mój PR. Jeszcze dziwniej, próbowałem wypchnąć 2 commity. Jeden był w PR, który trafił na main. Drugi nie był, po prostu zniknął, a git zgłaszał, że head jest ten sam. Dziwne rzeczy się tam dzieją.