New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Change ES index name #378

Merged

ckfisher merged 1 commit into develop from index-fix

Sep 15, 2024

Member

ThomasThelen commented Sep 14, 2024 •

edited

Loading

Changes the index name to the labels index, which has all the rdfs:labels for the types, enabling full text search

Screenshot 2024-09-14 at 8 12 42 AM

Screenshot 2024-09-13 at 8 25 39 PM


          Change ES index name

6b4e25d

ThomasThelen requested a review from ckfisher

September 14, 2024 15:31

ckfisher approved these changes

View reviewed changes

ckfisher merged commit 7700a98 into develop

1 check passed

ckfisher deleted the index-fix branch

September 15, 2024 21:29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet