From e3eda5761ace7614bcfcd226d7413ff1968b0094 Mon Sep 17 00:00:00 2001 From: Ernesto Miguez Date: Wed, 15 Apr 2026 15:05:22 +0200 Subject: [PATCH] Add PR tempalte --- .github/pull_request_template.md | 1 + 1 file changed, 1 insertion(+) 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 00000000..d369a6b5 --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1 @@ +- [] PRs are merged via `bors try`, without option to squash. Squash your commits in the PR before running `bors try`