From a8871c237e6633801d09e578f8f89aa0224cf4d7 Mon Sep 17 00:00:00 2001
From: Davide Faconti <davide.faconti@gmail.com>
Date: Fri, 8 Mar 2024 12:19:13 +0100
Subject: [PATCH] Create pull_request_template.md

---
 .github/pull_request_template.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .github/pull_request_template.md

diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
new file mode 100644
index 000000000..e9e192479
--- /dev/null
+++ b/.github/pull_request_template.md
@@ -0,0 +1,11 @@
+<!-- 
+You must run clang-format, otherwise your change may not pass the tests on CI
+We recommend using pre-commit.
+
+To use:
+    pre-commit run -a
+Or:
+     pre-commit install  # (runs every time you commit in git)
+
+See https://github.com/pre-commit/pre-commit
+-->