mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-06-28 20:17:26 +00:00
Compare commits
1 Commits
Author | SHA1 | Date | |
---|---|---|---|
d957ec6a83 |
@ -155,7 +155,7 @@ class XmlManifest(object):
|
|||||||
# normal repo settings live in the manifestProject which we just setup
|
# normal repo settings live in the manifestProject which we just setup
|
||||||
# above, so we couldn't easily query before that. We assume Project()
|
# above, so we couldn't easily query before that. We assume Project()
|
||||||
# init doesn't care if this changes afterwards.
|
# init doesn't care if this changes afterwards.
|
||||||
if mp.config.GetBoolean('repo.worktree'):
|
if os.path.exists(mp.gitdir) and mp.config.GetBoolean('repo.worktree'):
|
||||||
mp.use_git_worktrees = True
|
mp.use_git_worktrees = True
|
||||||
|
|
||||||
self._Unload()
|
self._Unload()
|
||||||
|
Reference in New Issue
Block a user