diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-21 17:26:19 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-21 17:26:19 +0000 |
| commit | 0a69452b0f48e94557557cf0ceb47d9429384596 (patch) | |
| tree | 446897b981bd99fd68216bac05b01af49b98a8ee | |
| parent | d7b7397c96f6d1b64015dac7fb11c9a119fb3472 (diff) | |
| parent | 7009f43edafc80112e72cf0d026eafdfb6772740 (diff) | |
| download | gitolite-admin-0a69452b0f48e94557557cf0ceb47d9429384596.tar.gz gitolite-admin-0a69452b0f48e94557557cf0ceb47d9429384596.zip | |
Merge remote-tracking branch 'origin/master'
| -rw-r--r-- | conf/gitolite.conf | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 51e8ef1..35a3dca 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -6,7 +6,8 @@ @github-srht-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith @github-srht-mirror = compcert -@srht-mirror = hugo-ymherklotz yannherklotz.com private/zk private/biteq ymhg-notes +@srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx +@srht-mirror = vericert-kvx ymhg-notes @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @@ -61,6 +62,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. |