diff options
| author | bors <bors@rust-lang.org> | 2024-10-03 06:20:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-10-03 06:20:27 +0000 |
| commit | bf71d65980c7005aa30f6f057aaa2e681b703400 (patch) | |
| tree | 44a406e1ded013292644eee72c9921c76fb4f706 /.github/pull_request_template.md | |
| parent | 52aa98a994f84e02bae6a7573b8c81bb8add2b98 (diff) | |
| parent | 9b35886adfe5da4163e95508f586dc071eec4d0f (diff) | |
Auto merge of #3935 - RalfJung:rustup, r=RalfJung
Rustup
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 fd54a153a16..ecf8f993f90 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> + r\? <reviewer name> (with the `\` removed) --> <!-- homu-ignore:end --> |