The replacement was done by `sed`.
This should only change versions of the docs prior to 864869ab (in
particular, not the `latest` version nor the `prerelease` version), and
make it as though the old version of the docs were compiled with that
commit. It tries to solve the same problem:
https://www.google.com/search?q=jj+revsets still points to jj v0.13
docs.
Google seems really slow to update its index, and I'm beginning to worry
that it might think we have a spammy site with many almost identical
pages. I hope it will pick up this change once it tries to update its
crawl of pages it's already indexing.
Loosely related reading: https://news.ycombinator.com/item?id=40970987
This includes the changes in the `bafd1::233b31f` range which
all apply to version v0.9.0 and cherry-picked changes from 5fc71.
I don't plan to make any more update like these.
Automatic title:
Deployed 01dc2d1e to v0.9.0 with MkDocs 1.5.2 and mike 1.1.2
