Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Embed version in the index, reject incompatible versions #695
@petr-tik the current crashing index is not entirely relevant here.
It is very easy to build one. Also the footer will mostly be helpful for later compatibility issues.
There is a non null chance that we cannot detect the problem with an existing index... And we will not be able to get the actual version of the index even if we are good enough to return an error it will not include a great error message.