diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-04 11:13:27 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-04 11:13:27 +0000 |
| commit | 62faffce31adfe0d18091c32a52de89827323013 (patch) | |
| tree | 4da54c44e037b2d0702a916eafed8a869e14e22e | |
| parent | 33f0b3819e7891d42d7ba78c427a9199f6cfa14e (diff) | |
| download | gitolite-admin-62faffce31adfe0d18091c32a52de89827323013.tar.gz gitolite-admin-62faffce31adfe0d18091c32a52de89827323013.zip | |
Add private/zk to the srht-mirror list
| -rw-r--r-- | conf/gitolite.conf | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index d046267..9862f9c 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -6,7 +6,7 @@ @github-srht-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith @github-srht-mirror = compcert -@srht-mirror = hugo-ymherklotz yannherklotz.com +@srht-mirror = hugo-ymherklotz yannherklotz.com private/zk @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @@ -34,7 +34,6 @@ repo private/..* C = ymherklotz RW+ = ymherklotz owner = Yann Herklotz - option hook.post-update = srht-mirror repo @zzz @active RW+ = ymherklotz |