mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-01-02 16:14:25 +00:00
Merge "Fix _ReferenceGitDir symlinking"
This commit is contained in:
commit
163fdbf2fd
@ -2347,10 +2347,11 @@ class Project(object):
|
|||||||
if copy_all:
|
if copy_all:
|
||||||
to_copy = os.listdir(gitdir)
|
to_copy = os.listdir(gitdir)
|
||||||
|
|
||||||
|
dotgit = os.path.realpath(dotgit)
|
||||||
for name in set(to_copy).union(to_symlink):
|
for name in set(to_copy).union(to_symlink):
|
||||||
try:
|
try:
|
||||||
src = os.path.realpath(os.path.join(gitdir, name))
|
src = os.path.realpath(os.path.join(gitdir, name))
|
||||||
dst = os.path.realpath(os.path.join(dotgit, name))
|
dst = os.path.join(dotgit, name)
|
||||||
|
|
||||||
if os.path.lexists(dst):
|
if os.path.lexists(dst):
|
||||||
continue
|
continue
|
||||||
|
Loading…
Reference in New Issue
Block a user