Collaborative Git workflow: Shared Repository on a File Server