docs: Pull request guidelines

kitten-science · Jan 11, 2023 · b010f95 · b010f95
1 parent 9ba104c
commit b010f95
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/packages/documentation/docs/development.md b/packages/documentation/docs/development.md
@@ -102,6 +102,10 @@ Internals related:
 -   `settings`
 -   `ui`
 
+## Pull Requests
+
+When you open a pull request, make sure that you squash your commits into a single one, _unless_ individual commits are substantial enough that they should be preserved as-is. Just make sure that all commits follow the [commit standards](#commit-standards) mentioned above.
+
 ## Releases
 
 ### Building a Release Version of the Userscript