Support git working directory created by `git worktree add` (fixes issue #2673)
This commit is contained in:
parent
59c11404e6
commit
d6dc4b667b
|
@ -16,7 +16,7 @@ else:
|
||||||
|
|
||||||
def is_checkout(path):
|
def is_checkout(path):
|
||||||
""" Returns true if the path represents a git checkout. """
|
""" Returns true if the path represents a git checkout. """
|
||||||
return os.path.isdir(os.path.join(path, '.git'))
|
return os.path.exists(os.path.join(path, '.git'))
|
||||||
|
|
||||||
|
|
||||||
def is_ancestor(path='.', commit1='HEAD', commit2='master'):
|
def is_ancestor(path='.', commit1='HEAD', commit2='master'):
|
||||||
|
|
Loading…
Reference in New Issue