Add RepositoryMapping.getGitDir for not-yet-mapped projects