equal
deleted
inserted
replaced
62 repo = repo.rstrip("/") |
62 repo = repo.rstrip("/") |
63 if len(repo) == 0: |
63 if len(repo) == 0: |
64 fail("path to repository seems to be empty") |
64 fail("path to repository seems to be empty") |
65 if repo.startswith("/"): |
65 if repo.startswith("/"): |
66 fail("absolute paths are not supported") |
66 fail("absolute paths are not supported") |
67 checkDots(path) |
67 checkDots(repo) |
68 ruleset.rules.set(repo=repo) |
68 ruleset.rules.set(repo=repo) |
69 if not ruleset.rules.allow(op, branch=None, file=None): |
69 if not ruleset.rules.allow(op, branch=None, file=None): |
70 fail("access denied") |
70 fail("access denied") |
71 checkParents(repo) |
71 checkParents(repo) |
72 return repo |
72 return repo |