leanprover-community / leanprover-community/queueboard-core
statistics by topic label?
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 5
- Forks
- 9
- Avg merge
- 2h 58m
- Merged PRs (30d)
- 4
Description
Just a vague thought I had that something along these lines might be useful. Maybe something like a summary with the top ~5 topics ordered by number of PRs on the #queue and then an expandable <details> tag containing the full list, along with links that apply the corresponding topic label filter to the #queue table.
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
Start by locating the code that builds the #queue table and reads topic labels; the issue does not name files, tests, or an entry point. Clarify how PRs and labels are counted and how label-filter links should work. Done means showing roughly the top five topics, an expandable full list, and links that apply each topic filter.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- analytics
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100