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

Descobri porque escrevi mal origin como upstream e ele mesclou felizmente o meu PR. Ainda mais estranho, tentei enviar 2 commits. Um estava no PR, que acabou no main. O outro não estava, que simplesmente desapareceu, com o git relatando o head como o mesmo. Coisas estranhas acontecendo lá.