Skip to content
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.

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

Website: ensure search_index.json is not cached between versions #1499

Merged
merged 3 commits into from
Aug 28, 2023

Conversation

rodja
Copy link
Member

@rodja rodja commented Aug 27, 2023

This pull-request appends a query string with current version to the search_index.json path so the browser cache does not use the old data after a new release has been published.

@rodja rodja added the enhancement New feature or request label Aug 27, 2023
@rodja rodja added this to the 1.3.13 milestone Aug 27, 2023
@falkoschindler falkoschindler merged commit d7fe1c1 into main Aug 28, 2023
4 checks passed
@falkoschindler falkoschindler deleted the search_index branch August 28, 2023 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants