Takže jste pravděpodobně viděli tu zaškrtávací čárku na stránce nastavení repozitáře GitHub: "Vyžadovat pull request před sloučením". Dnes jsem se naučil, že je to docela doslovné tvrzení. Po otevření PR můžete jednoduše poslat stejný commit do větve a GitHub vám to umožní. 🤪

Zjistil jsem to, protože jsem špatně zadal origin na upstream a bez problémů se mi PR sloučil. Ještě podivnější bylo, že jsem se pokusil protlačit 2 commity. Jeden byl v PR, který skončil na hlavním. Druhý ne, ten prostě zmizel, a git hlásil hlavu stejně. Dějí se tam divné věci.