diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:38:14 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:38:14 +0100 |
| commit | 3904b7767fbbd714c0283654b93857d865ea22f4 (patch) | |
| tree | edc0fc38b9e3fe16d3628aedbf963492719715c5 /conf | |
| parent | df2d9660435118c7d3f0753e972699b3c0eb2002 (diff) | |
| download | gitolite-admin-3904b7767fbbd714c0283654b93857d865ea22f4.tar.gz gitolite-admin-3904b7767fbbd714c0283654b93857d865ea22f4.zip | |
Add new mirrored repositories
Diffstat (limited to 'conf')
| -rw-r--r-- | conf/gitolite.conf | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index d190b61..7068405 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,6 +1,6 @@ @admin = ymherklotz -@mirrored-repos = vericert +@mirrored-repos = vericert vericert-docs dotfiles emacs-zettelkasten verismith repo CREATOR/..* C = @all @@ -12,15 +12,20 @@ repo gitolite-admin RW+ = @admin repo vericert - RW+ = ymherklotz - R = @all desc = Vericert is a formally verified high-level synthesis tool. - owner = Yann Herklotz -repo ymherklotz/dotfiles - owner = Yann Herklotz +repo vericert-docs + desc = Documentation for Vericert. + +repo dotfiles desc = Dotfiles for Linux and Macos. +repo emacs-zettelkasten + desc = Simple zettelkasten mode for emacs. + +repo verismith + desc = Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog. + repo private/formal_hls RW+ = ymherklotz @@ -28,4 +33,7 @@ repo @all R = gitweb daemon repo @mirrored-repos + RW+ = ymherklotz + R = @all + owner = Yann Herklotz option hook.post-update = github-mirror |