From 376314bab191d0e5f436fec2f850ec7f1178c532 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 9 Mar 2022 16:48:27 +0100 Subject: Create choc repository --- conf/gitolite.conf | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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. -- cgit From 387e1ad1ba6d85aa1971d6316047f7250c6396b7 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 9 Mar 2022 18:33:53 +0100 Subject: Add compcert-kvx repository --- conf/gitolite.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 009c8b3..9553236 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 = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq +@srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir -- cgit From 7009f43edafc80112e72cf0d026eafdfb6772740 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 10 Mar 2022 15:01:59 +0100 Subject: Create a new repository for vericert-kvx --- conf/gitolite.conf | 1 + 1 file changed, 1 insertion(+) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 9553236..4c5f3c3 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -7,6 +7,7 @@ @github-srht-mirror = compcert @srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx +@srht-mirror = vericert-kvx @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir -- cgit