From 7b8c08efb2fea4f5ea965eb1ea236962e9a89a05 Mon Sep 17 00:00:00 2001 From: Kyle Sunden Date: Wed, 13 Sep 2023 16:18:40 -0500 Subject: [PATCH] Backport PR #26763: DOC: Add redirects for old gitwash files --- doc/devel/development_workflow.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/devel/development_workflow.rst b/doc/devel/development_workflow.rst index 0d3a4c590de2..c03dab47c759 100644 --- a/doc/devel/development_workflow.rst +++ b/doc/devel/development_workflow.rst @@ -1,5 +1,8 @@ .. highlight:: bash +.. redirect-from:: /devel/gitwash/development_workflow +.. redirect-from:: /devel/gitwash/maintainer_workflow + .. _development-workflow: ####################