Index topics and extensions and various other tweaks#11

Merged

yrodiere merged 5 commits intoquarkusio:mainfrom gsmet:index-topics-extensions

Oct 11, 2023

+324-208

Commits on Oct 11, 2023

Ignore Git user config in tests

gsmet
authored and
yrodiere
committed
Update test dataset with topics and extensions

gsmet
authored and
yrodiere
committed
Index topics and extensions and consume topics in the search

gsmet
authored and
yrodiere
committed
Further refine boosting

gsmet
authored and
yrodiere
committed
Adjust comment a bit

gsmet
authored and
yrodiere
committed