diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-21 17:25:43 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-21 17:25:43 +0000 |
| commit | d7b7397c96f6d1b64015dac7fb11c9a119fb3472 (patch) | |
| tree | 3c388cfc60c06dccc2ec2fb9f5c8f8b8787806f8 | |
| parent | 66acb73ba168b1a8463aa32fd24aa5d375a3442c (diff) | |
| download | gitolite-admin-d7b7397c96f6d1b64015dac7fb11c9a119fb3472.tar.gz gitolite-admin-d7b7397c96f6d1b64015dac7fb11c9a119fb3472.zip | |
Add ymhg-notes repository
| -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..51e8ef1 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 = hugo-ymherklotz yannherklotz.com private/zk private/biteq ymhg-notes @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @@ -52,6 +52,9 @@ repo @srht-mirror repo private/zk desc = Zettelkasten. +repo ymhg-notes + desc = Public notes that are shared. + repo vericert desc = Vericert is a formally verified high-level synthesis tool. |