Hallo Sam, ich habe tatsächlich versucht, einen PR zu pushen (hier), und es sieht so aus, als ob Pushes auf GitHub nicht auf die gleiche Weise funktionieren wie hier (er wird nicht an den Anfang der Liste verschoben).
Ich werde mich in Zukunft in die Dev-Kategorie begeben. Es wäre vielleicht gut, diese Kategorie im OP (entweder in oder vor Schritt Nr. 10) explizit zu erwähnen 