Donc, vous avez probablement vu cette coche sur la page des paramètres du dépôt GitHub : "Exiger une demande de tirage avant de fusionner". Aujourd'hui, j'ai appris que c'est une déclaration assez littérale. Après avoir ouvert une PR, vous pouvez simplement pousser le même commit sur la branche et GitHub vous permet de le faire. 🤪

J'ai découvert cela parce que j'ai mal tapé l'origine en amont et cela a joyeusement fusionné ma PR. Encore plus étrange, j'ai tenté de pousser 2 commits. L'un était dans la PR, qui a fini sur main. L'autre ne l'était pas, et a simplement disparu, avec git rapportant que la tête était la même. Des choses étranges se passent là-dedans.