diff --git a/doc/devel/development_workflow.rst b/doc/devel/development_workflow.rst index 03d59ad097e4..a62971ac76d6 100644 --- a/doc/devel/development_workflow.rst +++ b/doc/devel/development_workflow.rst @@ -79,13 +79,6 @@ default, git will have a link to your fork of the GitHub repo, called git push origin my-new-feature -.. hint:: - - If you first opened the pull request from your ``main`` branch and then - converted it to a feature branch, you will need to close the original pull - request and open a new pull request from the renamed branch. See - `GitHub: working with branches - `_. .. _edit-flow: