leanprover-community / leanprover-community/queueboard-core
Filter for PRs by a user-set list of users
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 5
- Forks
- 9
- Avg merge
- 2h 58m
- Merged PRs (30d)
- 4
Description
I want to review PRs not just based on my github notifications, but actually targetting certain people whose work I want to see in mathlib. It would be nice to have "favourite" github users and see all their PRs at the touch of a button
This could be useful for
- a professor looking at their students' PRs (or perhaps just those which need reviewing)
- a teacher or local mentor, local from PRs of people in the area
- somebody following the work a group of people does
- perhaps also: seeing all of your own PRs at a glance
This was suggested by @kbuzzard via zulip DM, but I independently wondered about the same.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
The issue names no files, tests, or entry points, so first locate the code handling GitHub notifications and PR filtering. Done means users can define a favourite-user list and view those users' PRs, including their own, with the intended review filtering clarified.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- devtools
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100