shell

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 9d3212a557175d61c28dceffeb6a7b0222a5d5e7
parent 4dc335922e04ba720e6afd3a6cd98799edaccc2d
Author: flupe <flupe@sbi.re>
Date:   Wed, 17 Nov 2021 11:43:04 +0100

changed syntax of user repos

Diffstat:
Dconfig.yml | 0
Mpolicy.py | 4++--
2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/config.yml b/config.yml diff --git a/policy.py b/policy.py @@ -5,9 +5,9 @@ READ = 0b001 WRITE = 0b010 CREATE = 0b100 -BASEDIR = os.path.expanduser('~/git-repos') +BASEDIR = os.path.expanduser('~/repositories') -re_private = re.compile(r'u/(?P<u>[^/]+)/(?P<r>.+)') +re_private = re.compile(r'~(?P<u>[^/]+)/(?P<r>.+)') def get_perm(user, repo): m = re_private.match(repo)