2023-04-14 16:36:19 +02:00
|
|
|
# Readthedocs redirects
|
|
|
|
|
# See https://docs.readthedocs.io/en/stable/user-defined-redirects.html
|
|
|
|
|
#
|
2023-05-09 20:47:49 +02:00
|
|
|
# Changes to this file do not take effect until they are merged into the
|
|
|
|
|
# 'development' branch. This is because the API token (RTD_TOKEN) is not
|
|
|
|
|
# made available in PR jobs - preventing bad actors from crafting PRs to
|
|
|
|
|
# expose it.
|
2023-04-14 16:36:19 +02:00
|
|
|
|
|
|
|
|
- type: exact
|
|
|
|
|
from_url: /projects/api/en/latest/$rest
|
|
|
|
|
to_url: /projects/api/en/development/
|
