Skip to content

Commit

Permalink
Rollup merge of #118826 - Nilstrieb:no-email-pls, r=davidtwco
Browse files Browse the repository at this point in the history
Edit target doc template to remove email

We don't really want to communicate with target maintainers via email. GitHub is where everything happens, people should have a GitHub account that can be pinged on issues.

This doesn't necessarily have to be a strict rule, but edit the template to suggest this. The previous template made it look like we care about having an email address, which we do not.

r? `@davidtwco`
  • Loading branch information
matthiaskrgr authored Dec 11, 2023
2 parents da4432f + 072cf5f commit 73f72d3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/doc/rustc/src/platform-support/TEMPLATE.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ One-sentence description of the target (e.g. CPU, OS)

## Target maintainers

- Some Person, `[email protected]`, https://github.com/...
- Some Person, https://github.com/...

## Requirements

Expand Down

0 comments on commit 73f72d3

Please sign in to comment.