From 6cf0a870950ddb44f0c022737c8516ef4a96e8d7 Mon Sep 17 00:00:00 2001
From: Nicolas Perez <nicolas_perez@brown.edu>
Date: Mon, 3 Jun 2024 20:23:38 -0400
Subject: [PATCH] doc: Moved contributing info from PR template to separate
 CONTRIBUTING file

---
 CONTRIBUTING.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 CONTRIBUTING.md

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
new file mode 100644
index 000000000..1e2818eaa
--- /dev/null
+++ b/CONTRIBUTING.md
@@ -0,0 +1,5 @@
+# Contributing Guidelines
+
+* If the pull request only contains documentation changes (e.g., updating
+READMEs, adding new wiki pages), please add `[no ci]` to the commit title. This will skip unnecessary CI checks and help reduce build times.
+* When squashing multiple commits on merge, use the following format for your commit title: `<module>:<commit title> (#<issue_number>)`. For example: `utils: Fix typo in utils.py (#1234)`