Antoine Stevan e605d8007c add a comment note to the PR template about linking issues (#9392) ... i see very often contributors mentionning an issue that their PR is supposed to solve without using the proper [*linking keywords* of *GitHub*](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword) 🤔 in this PR, i've added a little comment to the top of the PR template to hopefully explain how to achieve this automatically without requiring maintainers to link PRs manually 😌		2023-06-10 10:10:03 -05:00
..
ISSUE_TEMPLATE	Try to add a nightly-build checking workflow (#9385)	2023-06-08 21:15:56 +08:00
workflows	Try to add a nightly-build checking workflow (#9385)	2023-06-08 21:15:56 +08:00
dependabot.yml	experiment with dependabot and rust dependencies (#7716)	2023-01-11 16:30:34 -06:00
pull_request_template.md	add a comment note to the PR template about linking issues (#9392)	2023-06-10 10:10:03 -05:00