diff --git a/.github/PULL_REQUEST_GUIDELINES.md b/.github/PULL_REQUEST_GUIDELINES.md
index bfd89313604..24b8b3c0cc3 100644
--- a/.github/PULL_REQUEST_GUIDELINES.md
+++ b/.github/PULL_REQUEST_GUIDELINES.md
@@ -20,3 +20,6 @@
 - The default merge message is all the individual commit names, delete these and provide a proper summary.
 - Only push code you want to merge.
 - Use git stash to store your unrelated or unwanted changes temporarily without committing them.
+
+## Banned Procedures for making changes
+- You may not use mass formatters to create changes in Unitdefs.