diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-01-07 15:30:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-07 15:30:27 +0100 |
| commit | ebf2e51c3ebe144e8e596af612f9b63dfdcea166 (patch) | |
| tree | 1fd080e6f7599bf6ed09515c423c15fb8788ec67 | |
| parent | 2598d607b570dbb76ebdbb9bac5fd7708b6f9b60 (diff) | |
| parent | 70123283bef554507b17a0bdf9eea2f7471956b4 (diff) | |
| download | rust-ebf2e51c3ebe144e8e596af612f9b63dfdcea166.tar.gz rust-ebf2e51c3ebe144e8e596af612f9b63dfdcea166.zip | |
Rollup merge of #135189 - Urgau:triagebot-html-ignored, r=lqd
Remove workaround from pull request template This PR removes the workaround (`\`) from our pull request template as triagebot/rustbot now ignores HTML blocks. cf. https://github.com/rust-lang/triagebot/pull/1869 cc `@jieyouxu` r? `@ehuss`
| -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 --> |