diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-11-11 16:32:32 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-11-11 16:32:32 +0000 |
commit | 37b5508ff73d87ee2bac4659849136e1ca9fcfe8 (patch) | |
tree | 563bd000ddfa611aa1f38a176fa9bba432b68f19 | |
parent | 18cd31e1600412d31f9f0c1939f9e82c561ffda8 (diff) | |
download | gitolite-admin-37b5508ff73d87ee2bac4659849136e1ca9fcfe8.tar.gz gitolite-admin-37b5508ff73d87ee2bac4659849136e1ca9fcfe8.zip |
Add picorv32 fork
-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 6888762..44e3272 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,6 +1,6 @@ @admin = ymherklotz -@forks = forks/smtcoq +@forks = forks/smtcoq forks/picorv32 @github-mirror = leela Vivant alluvial-hs pfm @github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex |