Así que, probablemente viste esa marca de verificación en la página de configuración del repositorio de GitHub: "Requerir una solicitud de extracción antes de fusionar". Hoy aprendí que es una afirmación bastante literal. Después de abrir una PR, puedes simplemente hacer push a la rama con el mismo commit y GitHub te lo permite. 🤪

Descubrí que, debido a un error de escritura, cambié origin por upstream y felizmente fusionó mi PR. Aún más extraño, intenté enviar 2 commits. Uno estaba en el PR, que terminó en main. El otro no estaba, simplemente desapareció, con git reportando el head igual. Hay cosas extrañas sucediendo allí.