leanprover-community / leanprover-community/queueboard-core

Tracking issue: advanced search features

Open
#7 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Python
Stars
5
Forks
9
Avg merge
2h 58m
Merged PRs (30d)
4

Description

Let's collect all ideas for "more advanced search" here:

  • by author: author:grunweg etc. - implemented with a small hack #...

  • by assignee: assignee:grunweg etc. - unimplemented; would be easy to add

  • labels, with the t-algebra$ tweak - implemented with a small hack

  • Disable searching in the description (#79)? I guess that is not necessary; providing more localised ways of searching certain fields seems more useful. The only one remaining could be the PR title.

  • search for a list of authors (#72): authors:grunweg,jcommelin finds all PRs by grunweg or jcommelin

  • logical operators: OR and NOT (#84)

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

No files, tests, or entry points are named. Review the listed proposals and related issues (#72, #79, and #84), then select and clarify one search feature before locating its implementation. Done would require an agreed scope and working behavior for that selected feature.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
search
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.