leanprover-community / leanprover-community/queueboard-core
Clicking a label/username should filter instead of linking to github
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 5
- Forks
- 9
- Avg merge
- 2h 58m
- Merged PRs (30d)
- 4
Description
In the queueboard, clicking on the author's name, sends me to their GitHub page, rather than PRs authored by that person.
One thing I like using which currently takes you to github from the queueboard: clicking on a tag (e.g. 't-category-theory') to go to the list of PRs with that tag.
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
No file or test is named in the issue. Start by locating the queueboard rendering for author names and labels, then compare their current GitHub links with the existing tag-filter behavior. Done means clicking an author filters to PRs by that person while tag clicks continue to filter by tag.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- frontend
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100