From 83c61934aed394655cd5a6e7058684347074f4d3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 11 Nov 2022 16:38:12 +0000
Subject: Fix spacing and some typos

---
 conf/gitolite.conf | 50 +++++++++++++++++++++++++-------------------------
 1 file 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.
-- 
cgit