Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit e0e49ef

Browse filesBrowse files
committed
DOC: Remove hint on PRs from origin/main
1 parent 7abb3ba commit e0e49ef
Copy full SHA for e0e49ef

File tree

1 file changed

+0
-7
lines changed
Filter options

1 file changed

+0
-7
lines changed

‎doc/devel/development_workflow.rst

Copy file name to clipboardExpand all lines: doc/devel/development_workflow.rst
-7Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -79,13 +79,6 @@ default, git will have a link to your fork of the GitHub repo, called
7979

8080
git push origin my-new-feature
8181

82-
.. hint::
83-
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>`_.
8982

9083
.. _edit-flow:
9184

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.