diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-05 14:17:44 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-05 14:17:44 +0000 |
| commit | 66acb73ba168b1a8463aa32fd24aa5d375a3442c (patch) | |
| tree | ace033a531e3c885b08f16561ee8c83268f84590 | |
| parent | 62faffce31adfe0d18091c32a52de89827323013 (diff) | |
| download | gitolite-admin-66acb73ba168b1a8463aa32fd24aa5d375a3442c.tar.gz gitolite-admin-66acb73ba168b1a8463aa32fd24aa5d375a3442c.zip | |
Add biteq to the mirror
| -rw-r--r-- | conf/gitolite.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 9862f9c..b2d09f4 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 +@srht-mirror = hugo-ymherklotz yannherklotz.com private/zk private/biteq @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir |