Skip to content
This repository has been archived by the owner on Mar 14, 2023. It is now read-only.

Issues: rust-lang/highfive

35 Open 49 Closed
35 Open 49 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Re-assigning can assign the current assignee
#415 opened Jul 13, 2022 by davidtwco
4
highfives misses some PRs
#379 opened Jan 25, 2022 by RalfJung
1
Give helpful info with r? is invalid
#365 opened Oct 12, 2021 by jackh726
1
Update rust config to add wgs/projects
#364 opened Oct 5, 2021 by jackh726
Add repo link to the rust-highfive user account
#360 opened Sep 8, 2021 by Turbo87
Add link to rustbot commands in first message
#351 opened Jul 26, 2021 by poliorcetics
Warn when r?d username doesn't have r+ rights
#330 opened Apr 23, 2021 by aDotInTheVoid
Please detect commits that mark an API as stable and display a warning
#312 opened Mar 8, 2021 by joshtriplett
r? @rust-highfive to reassign a review randomly (again)
#241 opened Dec 27, 2019 by SimonSapin
1
Remove jemalloc config
#228 opened Jul 31, 2019 by gnzlbg
Add some local tests
#219 opened Jun 11, 2019 by GuillaumeGomez
Invalid doc file changes detection
#212 opened May 2, 2019 by GuillaumeGomez
Some GitHub API requests fail with 404 bug
#190 opened Jan 26, 2019 by pietroalbini
1
Enable retry choose_reviewer
#189 opened Jan 26, 2019 by h-michael
3
r? doesn't work in a review comment
#178 opened Nov 24, 2018 by varkor
5
use highfive to allow non-org members to set issue labels?
#164 opened Jul 29, 2018 by zackmdavis
Highfive tries to assign reviewers not in rust-lang org
#154 opened May 19, 2018 by pietroalbini
1
Assigning T-team labels when highfive assigns a reviewer
#146 opened May 3, 2018 by pietroalbini
3
set S-waiting-on-author when a review is submitted with Changes Requested
#143 opened May 2, 2018 by nikomatsakis
1
reset S-waiting-on-author tag when new commits are pushed
#142 opened May 2, 2018 by nikomatsakis
Latest Highfive failing bug
#137 opened Apr 21, 2018 by nrc
9
Consider democratizing access to production logs
#135 opened Apr 11, 2018 by davidalber
2
Relabel PR on r?
#118 opened Mar 24, 2018 by ishitatsuyuki
Integrate r? with the new GitHub request reivew feature
#72 opened Dec 8, 2016 by nrc
5
When an issue is tagged with a team, cc that team
#64 opened Nov 17, 2015 by nrc
ProTip! Exclude everything labeled bug with -label:bug.