diff options
-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 4c5f3c3..35a3dca 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -7,7 +7,7 @@ @github-srht-mirror = compcert @srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx -@srht-mirror = vericert-kvx +@srht-mirror = vericert-kvx ymhg-notes @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @@ -53,6 +53,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. |