diff options
| author | Urgau <urgau@numericable.fr> | 2025-01-07 07:35:08 +0100 |
|---|---|---|
| committer | Urgau <urgau@numericable.fr> | 2025-01-07 07:35:08 +0100 |
| commit | 70123283bef554507b17a0bdf9eea2f7471956b4 (patch) | |
| tree | 886681b6a63eae5f60641d3226b01fa03a3c2364 /.github/pull_request_template.md | |
| parent | 319f5292a19951d13f3c79c04b3cf3d1501d9e79 (diff) | |
| download | rust-70123283bef554507b17a0bdf9eea2f7471956b4.tar.gz rust-70123283bef554507b17a0bdf9eea2f7471956b4.zip | |
Remove workaround from pull request template
as triagebot/rustbot now ignores HTML blocks. cf. https://github.com/rust-lang/triagebot/pull/1869
Diffstat (limited to '.github/pull_request_template.md')
| -rw-r--r-- | .github/pull_request_template.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index ecf8f993f90..93388ddd240 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -7,6 +7,6 @@ tracking issue or there are none, feel free to ignore this. 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> (with the `\` removed) + r? <reviewer name> --> <!-- homu-ignore:end --> |