highfive
highfive copied to clipboard
rust-lang
Github hooks to provide an encouraging atmosphere for new contributors
I'd love to have automatic detection of PRs that mark an API as `#[stable`, displaying a warning to encourage more careful review. This also makes it easier to catch if...
When a PR is first opened, highfive randomly assigns its review to someone. Based on https://github.com/rust-lang/highfive/blob/master/highfive/configs/rust-lang/rust.json#L10 it looks like this is based on what files/directories the PR modifies. This is...
Don't crash; instead post a comment saying that the user couldn't be assigned. Also handle `r? @ghost` properly: treat it as clearing all assignees but still do the other things...
Sometimes, highfive fails assign reviewer. ex(https://github.com/rust-lang/rust/pull/57913) If PR owner doesn't know appropriate reviewer, they can't write `r?` by themselves. So I want the way that re choose_reviewer action. Something like...
I think the rust-lang/jemalloc repository is no longer used for anything.
This is something I discussed with @pietroalbini on discord: adding some local tests to check if a given github event outputs the expected thing would be a big step into...
For the moment, it seems like the detection of doc changes is completely broken: https://github.com/rust-lang/rust/pull/60463
Sometimes the GitHub API returns a 404 while trying to fetch the PR's diff, right after the webhook is received. Retrying those requests later return the correct data. This is...
When making a review, if `r?` is used in (at least the main comment of) the review, @rust-highfive won't pick up on it.
[Go's bot allegedly has this functionality](https://github.com/golang/go/wiki/gopherbot#addingremoving-labels), which could be useful for occasional contributors who maybe shouldn't belong to the GitHub organization (in order to keep the membership tidy and in...
