Both OSTree and rpm-ostree have moved their documentation hosting to GitHub from readthedocs.io. While the links referring to the home pages still work via a redirect the ones referring to a specific page end up returning a 404, so this fixes that while also skipping the redirect for the links that still work.
tpopela
commented
3 years ago
Both OSTree and rpm-ostree have moved their documentation hosting to GitHub from readthedocs.io. While the links referring to the home pages still work via a redirect the ones referring to a specific page end up returning a 404, so this fixes that while also skipping the redirect for the links that still work.