$ git checkout develop
$ git pull

Branch develop wird geladen und von remote aktualisiert. Soweit so gut.. Während unseres weiteren codens ergänzt jemand origin/develop. Nun  können unsere Änderungen nicht ohne weiteres nach remote geschoben werden:

$ git push => Fehler beim Versenden einiger Referenzen

Dies lässt sich durch folgende Befehle beheben:

$ git fetch
$ git rebase

Nun kann mittels git push auch origin/develop aktualisiert werden.