From e0e49ef65a904695bdf301710983cc990943ccef Mon Sep 17 00:00:00 2001
From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com>
Date: Thu, 1 Aug 2024 22:15:20 +0200
Subject: [PATCH] DOC: Remove hint on PRs from origin/main

---
 doc/devel/development_workflow.rst | 7 -------
 1 file changed, 7 deletions(-)

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
-    <https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-branches#working-with-branches>`_.
 
 .. _edit-flow: