clarifying contributing.md

TroupeLang · Aug 16, 2024 · 1fff4a0 · 1fff4a0
1 parent d3224c5
commit 1fff4a0
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -1,3 +1,7 @@
-Contributing to Troupe
+# Contributing to Troupe
 
-- Do not mix cosmetic changes and semantic changes in a single PR.
+## PR policy
+
+- Avoid mixing cosmetic changes and semantic changes in a single PR. Cosmetic
+  changes are welcome as separate PRs, where the whole PR is appropriately
+  described as cosmetic/readability/etc.