git: Patch to enable repos on shared filesystems