leanprover-community / leanprover-community/queueboard-core
Tracking issue: queueboard filtering hacks
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 5
- Forks
- 9
- Avg merge
- 2h 58m
- Merged PRs (30d)
- 4
Description
This issue tracks a few mild hacks for the dashboard filtering. When writing a custom search function (cf. leanprover-community/queueboard-core#7), these should be removed in facour of a smarter custom search features.
- the author column is searchable via
author:name--- this is a string appended to the author column, hidden from view - the author column is searchable via
assignee:name--- for each assignee (if any), there is such a string appended to the assignee column, hidden from view - the labels column gains an invisible text
label:t-algebra$just fort-algebraPRs
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 reading the custom search function referenced in leanprover-community/queueboard-core#7 and tracing where the author, assignee, and label column text is assembled. The work is done when those hidden filtering hacks are replaced by the smarter custom search feature, but the issue does not name files or tests.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- frontend
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100