Skip to content

Commit 846c443

Browse files
committed
DOC: Remove hint on PRs from origin/main
1 parent 7abb3ba commit 846c443

File tree

1 file changed

+2
-7
lines changed

1 file changed

+2
-7
lines changed

doc/devel/development_workflow.rst

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -77,15 +77,10 @@ GitHub repo. Generally, if you followed the instructions in these pages, and by
7777
default, git will have a link to your fork of the GitHub repo, called
7878
``origin``. You push up to your own fork with::
7979

80-
git push origin my-new-feature
8180

82-
.. hint::
8381

84-
If you first opened the pull request from your ``main`` branch and then
85-
converted it to a feature branch, you will need to close the original pull
86-
request and open a new pull request from the renamed branch. See
87-
`GitHub: working with branches
88-
<https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-branches#working-with-branches>`_.
82+
git push origin my-new-feature
83+
8984

9085
.. _edit-flow:
9186

0 commit comments

Comments
 (0)