diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2024-06-14 21:52:25 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2024-06-14 21:52:25 +0000 |
| commit | c006748f6272c19cedb67d25b4444bb07cc5ce12 (patch) | |
| tree | baa2b71f7c97bd57ffdc6daf39f9e534943aebd2 /.github | |
| parent | f8e566053207b4ecbcbc7a7d6ded82c43061e3da (diff) | |
| download | rust-c006748f6272c19cedb67d25b4444bb07cc5ce12.tar.gz rust-c006748f6272c19cedb67d25b4444bb07cc5ce12.zip | |
make bors ignore comments in PR template
Diffstat (limited to '.github')
| -rw-r--r-- | .github/pull_request_template.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index ca704082a3f..fd54a153a16 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,3 +1,4 @@ +<!-- homu-ignore:start --> <!-- If this PR is related to an unstable feature or an otherwise tracked effort, please link to the relevant tracking issue here. If you don't know of a related @@ -7,4 +8,5 @@ This PR will get automatically assigned to a reviewer. In case you would like a specific user to review your work, you can assign it to them by using r? <reviewer name> ---> \ No newline at end of file +--> +<!-- homu-ignore:end --> |