geschütztes Git Repo wieder frei geben (Unable to lock remote branch)

Wenn beim Push eines Git Repos die Fehlermeldung „Unable to lock remote branch“ erscheint, kann man dieses wieder freigeben in dem man das Repo manuel wieder frei gibt.

Dazu geht man auf dem Server in das Verzeichnis „/var/lock/apache2/“ und leert die Datei „DAVlock

Dies kann man zum beispiel über den Befehl „cat /dev/null > DAVlock“ machen.