OT: Wieso heisst es eigentlich Pull-Request und nicht Push-Request? Die Änderung ist gemacht, und soll ins Hauptrepository geschoben werden. Da muß nichts mehr gezogen werden, das ist passiert, bevor die Änderung durchgeführt wurde.
Würde mich auch mal interessieren. Oder war es nur ein Schreibfehler???
