Also, du hast wahrscheinlich das Häkchen auf der Einstellungsseite des GitHub-Repositories gesehen: "Ein Pull-Request ist erforderlich, bevor zusammengeführt wird". Heute habe ich gelernt, dass es eine ziemlich wörtliche Aussage ist. Nachdem du einen PR geöffnet hast, kannst du einfach denselben Commit in den Branch pushen und GitHub erlaubt dir das. 🤪

Habe herausgefunden, weil ich origin falsch in upstream eingegeben habe und es mein PR fröhlich zusammengeführt hat. Noch seltsamer, ich habe versucht, 2 Commits zu pushen. Einer war im PR, der auf main landete. Der andere war es nicht, der einfach verschwunden ist, wobei git den Kopf gleich meldete. Seltsame Dinge passieren dort.