Change repo dir from .git to .subcommit-git
This commit is contained in:
parent
3a13d25e9c
commit
77bdcc1024
|
@ -50,7 +50,7 @@ class GitRepository (object):
|
|||
|
||||
def __init__(self, path, force=False):
|
||||
self.worktree = path.replace("\\", "/")
|
||||
self.gitdir = join_path(path, ".git")
|
||||
self.gitdir = join_path(path, ".subcommit-git")
|
||||
|
||||
if not (force or os.path.isdir(self.gitdir)):
|
||||
raise Exception(f"Not a git repository {path}")
|
||||
|
@ -156,7 +156,7 @@ def cmd_init(args):
|
|||
def repo_find(path=".", required=True):
|
||||
path = os.path.realpath(path)
|
||||
|
||||
if os.path.isdir(join_path(path, ".git")):
|
||||
if os.path.isdir(join_path(path, ".subcommit-git")):
|
||||
return GitRepository(path)
|
||||
|
||||
# If we haven't returned, recurse in parent
|
||||
|
@ -1093,7 +1093,7 @@ def check_ignore(rules, path):
|
|||
raise Exception("This function requires path to be relative to the repository's root")
|
||||
|
||||
# Eh, just hardcode it
|
||||
if (path.startswith(".git")):
|
||||
if (path.startswith(".subcommit-git")):
|
||||
return True
|
||||
|
||||
result = check_ignore_scoped(rules.scoped, path)
|
||||
|
|
Loading…
Reference in New Issue
Block a user