Então, você provavelmente viu aquele seletor na página de configurações do repositório do GitHub: "Exigir um pull request antes da fusão". Hoje aprendi que é uma afirmação bastante literal. Depois que você abre um PR, você pode simplesmente enviar para o branch o mesmo commit e o GitHub permite fazer isso. 🤪

Descobri porque digitei errado origin para upstream e isso felizmente mesclaram meu PR. Ainda mais estranho, tentei enviar 2 commits. Um foi no PR, que acabou no main. O outro não, simplesmente desapareceu, com o relatando o mesmo chefe. Tem coisa estranha acontecendo lá dentro.