diff options
Diffstat (limited to 'conf/gitolite.conf')
-rw-r--r-- | conf/gitolite.conf | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index b2d09f4..009c8b3 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 private/zk private/biteq +@srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @@ -58,6 +58,9 @@ repo vericert repo vericert-docs desc = Documentation for Vericert. +repo choc + desc = An implementation of the Calculus of Construction. + repo dotfiles desc = Dotfiles for Linux and Macos. |