Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update our RTD redirects to use `latest` for dev, `stable` for errors | Pradyun Gedam | 2023-01-01 | 1 | -2/+2 |
| | |||||
* | Enable managing RTD redirects in-tree | Pradyun Gedam | 2022-12-30 | 1 | -0/+15 |
This is designed as a script and a data file (in YAML format), and meant to manage the RTD redirects with a version controlled file. This makes it possible for pull requests to this repository to update the redirects for this project's documentation (eg: for better error urls) and for this evolution to be tracked as a part of version control history. |