1# Readthedocs redirects 2# See https://docs.readthedocs.io/en/stable/user-defined-redirects.html 3# 4# Changes to this file do not take effect until they are merged into the 5# 'development' branch. This is because the API token (RTD_TOKEN) is not 6# made available in PR jobs - preventing bad actors from crafting PRs to 7# expose it. 8 9- type: exact 10 from_url: /projects/api/en/latest/$rest 11 to_url: /projects/api/en/development/ 12