Probablemente viste esa marca de verificación en la página de configuración del repositorio de GitHub: "Requiere una solicitud pull antes de fusionar". Hoy he aprendido que es una afirmación bastante literal. Después de abrir una PR, puedes simplemente enviar el mismo commit a la rama y GitHub te permite hacerlo. 🤪

Me enteré porque escribí mal origin a upstream y felizmente fusionó mi PR. Aún más raro, intenté enviar 2 commits. Uno estaba en el PR, que acabó en el principal. El otro no, simplemente desapareció, y el idiota informó que el jefe era igual. Cosas extrañas pasando ahí dentro.