tmp

rdavid · rdavid · commit 1a4ed5d595d6 · 2024-02-08T13:45:13.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -4,6 +4,7 @@
 .github/styles/Joblint
 .github/styles/proselint
 .github/styles/Readability
+.github/styles/RedHat
 .github/styles/write-good
 .redo
 lint
