Übung - Umgang mit “Push Reject”

Wenn mehrere Entwickler am selben Projekt arbeiten, kommt es beim git push häufig zu der Meldung error: failed to push some refs ..., dem sogenannten Push Reject.

Das ist nicht schlimm. Es bedeutet lediglich, dass im origin-Repository Commits gefunden wurden, die lokal noch nicht integriert sind.

Man mit git pull kann man die Änderungen holen und integrieren.

Oder man kann mit git fetch die Änderungen zunächst nur abholen, um sie zu untersuchen, und später zu entscheiden, was man damit machen möchte.

Tipps

git push: Überträgt Commits zum origin.
git fetch: Holt Commit, ändert aber Workspace und lokalen Branch nicht
git pull: Holt und integriert Commits.
git log A..B zeigt “was B gemacht hat”.
Oder etwas genauer: Jenes Commits aus der Historie von B, die noch nicht in A enthalten sind.
git diff A B zeigt die Unterschiede zwischen A und B
(symmetrisches Diff)
git diff A...B zeigt die Änderungen der Seite B.
Oder etwas genauer: Das Diff zwischen dem letzen gemeinsamen Vorgänger zu B.
(asymmetrisches Diff)

Setup

Du arbeitest an einem Projekt apollo, das von Deiner Kollegin Anja erstellt wurde.
Du sollst die Datei frontend.java verbessern, während Anja an der Datei backend.java weiterarbeitet.

Wenn Anja ihre Änderungen vor Dir hochlädt, wirst Du einen Push Reject erfahren.