diff options
Diffstat (limited to 'conf')
-rw-r--r-- | conf/gitolite.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index f6dbba3..52ffd6e 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -8,8 +8,8 @@ @github-srht-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith @github-srht-mirror = compcert -@srht-mirror = butterstick choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx -@srht-mirror = vericert-kvx ymhg-notes ox-tufte +@srht-mirror = ymh-emacs butterstick choc hugo-ymherklotz yannherklotz.com +@srht-mirror = vericert-kvx ymhg-notes ox-tufte private/zk private/biteq compcert-kvx @compcertgsa = compcertgsa/dom-complete compcertgsa/compcertgsa compcertgsa/path-expr |