From b0de3523465a4cbf3be2be76cc0864c290982bd8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 24 Nov 2022 22:04:56 +0000 Subject: Add butterstick repository --- conf/gitolite.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index c6b19b5..f6dbba3 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -8,7 +8,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 compcert-kvx +@srht-mirror = butterstick choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx @srht-mirror = vericert-kvx ymhg-notes ox-tufte @compcertgsa = compcertgsa/dom-complete compcertgsa/compcertgsa compcertgsa/path-expr -- cgit