diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:40:18 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:40:18 +0100 |
| commit | 5be4f2fbc28afcdc994bb1eb901f5bc9f1788b71 (patch) | |
| tree | 3653ccdd27d484f3f55db12fb0bb32ff79bb3854 /conf | |
| parent | 3904b7767fbbd714c0283654b93857d865ea22f4 (diff) | |
| download | gitolite-admin-5be4f2fbc28afcdc994bb1eb901f5bc9f1788b71.tar.gz gitolite-admin-5be4f2fbc28afcdc994bb1eb901f5bc9f1788b71.zip | |
Change location of some of the files
Diffstat (limited to 'conf')
| -rw-r--r-- | conf/gitolite.conf | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 7068405..f7766ec 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -11,6 +11,15 @@ repo CREATOR/..* repo gitolite-admin RW+ = @admin +repo @all + R = gitweb daemon + +repo @mirrored-repos + RW+ = ymherklotz + R = @all + owner = Yann Herklotz + option hook.post-update = github-mirror + repo vericert desc = Vericert is a formally verified high-level synthesis tool. @@ -28,12 +37,3 @@ repo verismith repo private/formal_hls RW+ = ymherklotz - -repo @all - R = gitweb daemon - -repo @mirrored-repos - RW+ = ymherklotz - R = @all - owner = Yann Herklotz - option hook.post-update = github-mirror |