Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-24 05:33:27 +00:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #10522 - xFrednet:10521-docs-and-triage, r=Manishearth

Browse source 
Correct active members link in `CONTRIBUTING.md`

This corrects the link, where to find which members are currently active and can be pinged. It also adds me as the code owner of `gh-pages`. In most cases, I'm asked to review those PRs anyways :)

Otherwise, not much more to day, have a great day!

---

Closes: #10521

changelog: none
<!-- changelog_checked -->
This commit is contained in:
bors 2023-03-19 19:30:00 +00:00
commit 0a77f4c5b1
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CONTRIBUTING.md
View file

@ -50,7 +50,7 @@ a [developer guide] and is a good place to start your journey.
All issues on Clippy are mentored, if you want help simply ask someone from the All issues on Clippy are mentored, if you want help simply ask someone from the
Clippy team directly by mentioning them in the issue or over on [Zulip]. All Clippy team directly by mentioning them in the issue or over on [Zulip]. All
currently active team members can be found currently active team members can be found
[here](https://github.com/rust-lang/highfive/blob/master/highfive/configs/rust-lang/rust-clippy.json#L3) [here](https://github.com/rust-lang/rust-clippy/blob/master/triagebot.toml#L18)
Some issues are easier than others. The [`good-first-issue`] label can be used to find the easy Some issues are easier than others. The [`good-first-issue`] label can be used to find the easy
issues. You can use `@rustbot claim` to assign the issue to yourself. issues. You can use `@rustbot claim` to assign the issue to yourself.

1
triagebot.toml
View file

@ -17,6 +17,7 @@ contributing_url = "https://github.com/rust-lang/rust-clippy/blob/master/CONTRIB
[assign.owners] [assign.owners]
"/.github" = ["@flip1995"] "/.github" = ["@flip1995"]
"/util/gh-pages" = ["@xFrednet"]
"*" = [ "*" = [
"@flip1995", "@flip1995",
"@Manishearth", "@Manishearth",