Repo ist privat — PID-Dateien können mitgeteilt werden. Wer seine PID lokal halten will: echo "instances/" >> .git/info/exclude