Giters
quarkusio
/
search.quarkus.io
Search backend for Quarkus websites
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
4
Issues:
27
Forks:
6
quarkusio/search.quarkus.io Issues
[STAGING] Status report of quarkus.io content indexing
Updated
5 months ago
[PROD] Status report of quarkus.io content indexing
Closed
5 months ago
Keep git clones on disk and update them instead of re-cloning on each reindexing
Closed
5 months ago
Comments count
2
In dev mode, when the git URL starts with file, skip cloning and use that repo as a clone
Closed
5 months ago
Slow first connection from quarkus.io website in freshly opened browser
Closed
5 months ago
Comments count
4
Review relevance of search for localized guides
Closed
5 months ago
Comments count
6
Integrate localized sites
Closed
5 months ago
Comments count
4
Scheduled indexing fails in prod
Closed
5 months ago
Comments count
2
Parallelize git cloning
Closed
5 months ago
Localized sites support
Closed
6 months ago
Comments count
4
Reindex every day
Closed
6 months ago
Add synonym/decomposing support for specific words
Closed
6 months ago
Comments count
2
Make the `url` attribute an absolute URL in returned hits
Closed
6 months ago
Parse `_data/version/*/index/quarkus.yaml` instead of asciidoc files to retrieve guide metadata
Closed
7 months ago
Comments count
7
Ignore meaningless headers/footers when indexing guide content
Closed
7 months ago
Index rendered asciidoc files
Closed
7 months ago
Comments count
1
Highlighting
Closed
6 months ago
Reindex on push to quarkusio.github.io
Closed
6 months ago
Comments count
2
Report and skip guides whose HTML content cannot be retrieved or is invalid
Updated
6 months ago
Comments count
5
Migrate to Red Hat Build of Quarkus
Updated
6 months ago
Test and deploy in native mode
Updated
6 months ago
Render summaries to HTML before indexing
Closed
6 months ago
Comments count
1
Indexing of Quarkiverse guide content
Closed
6 months ago
Comments count
2
Sub-optimal search result: "dev services" does not rank high enough the tutorial that talks most about dev services
Updated
6 months ago
Comments count
11
Add a "page rank" to guides
Updated
7 months ago
Comments count
2
Integrate into extensions.quarkus.io
Updated
7 months ago
Comments count
1
Faceting
Updated
7 months ago