From c1a5a4c6b26527a9e526e81e876f0ddadae69a7b Mon Sep 17 00:00:00 2001
From: Josh Triplett <josh@joshtriplett.org>
Date: Thu, 6 Jan 2022 12:24:12 -0800
Subject: [PATCH] Make bors ignore the PR template so it doesn't end up in
 merge messages

---
 .github/PULL_REQUEST_TEMPLATE.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
index 386f2cbce5d..25faebe7513 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -1,3 +1,4 @@
+<!-- homu-ignore:start -->
 <!--
 Thanks for submitting a pull request 🎉! Here are some tips for you:
 
@@ -34,3 +35,4 @@ https://doc.crates.io/contrib/tests
 Other information you want to mention in this PR, such as prior arts,
 future extensions, an unresolved problem, or a TODO list.
 -->
+<!-- homu-ignore:end -->