From b010f95cdbb4b5fbed20ba1bd43489bb2c127a0f Mon Sep 17 00:00:00 2001
From: Oliver Salzburg <oliver.salzburg@gmail.com>
Date: Wed, 11 Jan 2023 17:32:27 +0100
Subject: [PATCH] docs: Pull request guidelines

---
 packages/documentation/docs/development.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages/documentation/docs/development.md b/packages/documentation/docs/development.md
index 662d6045c..10d28da17 100644
--- 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