Make bors ignore the PR template so it doesn't end up in merge messages

This commit is contained in:
Josh Triplett 2022-01-06 12:24:12 -08:00
parent 2478331215
commit c1a5a4c6b2

View File

@ -1,3 +1,4 @@
<!-- homu-ignore:start -->
<!-- <!--
Thanks for submitting a pull request 🎉! Here are some tips for you: 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, Other information you want to mention in this PR, such as prior arts,
future extensions, an unresolved problem, or a TODO list. future extensions, an unresolved problem, or a TODO list.
--> -->
<!-- homu-ignore:end -->