diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-11-11 16:38:12 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-11-11 16:38:12 +0000 |
| commit | 83c61934aed394655cd5a6e7058684347074f4d3 (patch) | |
| tree | 06fda1bda56d1be9324daa21784306b3f28b7583 | |
| parent | 7abd2a20cf1043edf11bb8e151c5713ad8342d00 (diff) | |
| download | gitolite-admin-83c61934aed394655cd5a6e7058684347074f4d3.tar.gz gitolite-admin-83c61934aed394655cd5a6e7058684347074f4d3.zip | |
Fix spacing and some typos
| -rw-r--r-- | conf/gitolite.conf | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index f12e127..c6b19b5 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -24,47 +24,47 @@ @zzz = zzz/dot_product zzz/sobel_filter repo CREATOR/..* - C = @all + C = @all RW+ = CREATOR - RW = WRITERS - R = READERS + RW = WRITERS + R = READERS repo gitolite-admin RW+ = @admin repo @all - R = gitweb daemon + R = gitweb daemon repo private/..* - C = ymherklotz - RW+ = ymherklotz - R = ymherklotz + C = ymherklotz + RW+ = ymherklotz + R = ymherklotz owner = Yann Herklotz repo presentation/..* - C = ymherklotz - RW+ = ymherklotz - R = @all + C = ymherklotz + RW+ = ymherklotz + R = @all owner = Yann Herklotz repo papers/..* - C = ymherklotz - RW+ = ymherklotz + C = ymherklotz + RW+ = ymherklotz owner = Yann Herklotz repo @compcertgsa - C = ymherklotz - RW+ = ymherklotz + C = ymherklotz + RW+ = ymherklotz owner = Yann Herklotz repo @forks - RW+ = ymherklotz - R = all + RW+ = ymherklotz + R = all owner = Yann Herklotz repo @zzz @active - RW+ = ymherklotz - R = @all + RW+ = ymherklotz + R = @all owner = Yann Herklotz repo @github-mirror @@ -173,22 +173,22 @@ repo zzz/A-star-algorithm desc = an A-star algorithm implementation with a UI. repo papers/fccm22_rsvhls - desc = Resource sharing for verified high-level synthesis. + desc = Resource sharing for verified high-level synthesis. repo papers/oopsla21_fvhls - desc = Formal verification of high-level synthesis. + desc = Formal verification of high-level synthesis. repo papers/fccm21_esrhls - desc = Empirical study of the reliability of high-level synthesis. + desc = Empirical study of the reliability of high-level synthesis. repo papers/fpga20_fubfst - desc = Finding and understanding bugs in FPGA synthesis tools. + desc = Finding and understanding bugs in FPGA synthesis tools. repo papers/latte21_hlstpc - desc = High-level synthesis tools should be proven correct. + desc = High-level synthesis tools should be proven correct. repo forks/picorv32 - desc = fork of https://github.com/YosysHQ/picorv32. + desc = Fork of https://github.com/YosysHQ/picorv32. repo forks/smtcoq - desc = fork of https://github.com/smtcoq/smtcoq. + desc = Fork of https://github.com/smtcoq/smtcoq. |