docs/redirects.yaml

# Readthedocs redirects
# See https://docs.readthedocs.io/en/stable/user-defined-redirects.html
#
# 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.

- type: exact
  from_url: /projects/api/en/latest/$rest
  to_url: /projects/api/en/development/
Add post-build step to update redirects This allows us to maintain the list of redirects in-tree. Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com> 2023-04-14 16:36:19 +02:00			`# Readthedocs redirects`
			`# See https://docs.readthedocs.io/en/stable/user-defined-redirects.html`
			`#`
Reword the API token explanation in redirects.yaml Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com> 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.`
Add post-build step to update redirects This allows us to maintain the list of redirects in-tree. Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com> 2023-04-14 16:36:19 +02:00
			`- type: exact`
			`from_url: /projects/api/en/latest/$rest`
			`to_url: /projects/api/en/development/`