Skip to content

Add #artifinder search keyword filter#26

Merged
vahldiek merged 1 commit into
ReproDB:mainfrom
vahldiek:fix/artifinder-doc-followup
Jul 8, 2026
Merged

Add #artifinder search keyword filter#26
vahldiek merged 1 commit into
ReproDB:mainfrom
vahldiek:fix/artifinder-doc-followup

Conversation

@vahldiek

@vahldiek vahldiek commented Jul 8, 2026

Copy link
Copy Markdown
Member

Summary

  • add #artifinder keyword handling to landing-page search
  • make #artifinder filter strictly match entries tagged with source: "artifinder"
  • include #artifinder in all keyword-cleanup regex paths
  • document the keyword in the search-keywords methodology page with an example

Why

This adds an explicit keyword users can apply to search only ArtiFinder-tagged results.

@vahldiek vahldiek force-pushed the fix/artifinder-doc-followup branch from aa0b571 to 6311981 Compare July 8, 2026 10:23
@vahldiek vahldiek merged commit fc0cc50 into ReproDB:main Jul 8, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant