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: ####################
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: