mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-05 15:32:49 +00:00
f67d6a192c
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