gitmodules is machine-specific