Alternative zu Patch-Dateien: git Push / Pull