diff options
author | Ganesh Kathiresan <ganesh3597@gmail.com> | 2023-01-26 12:28:20 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-25 22:58:20 -0800 |
commit | 0457ca4e93d91983c985a8b463f71ab2e7b58b27 (patch) | |
tree | 61db0b40602e532f301bd72089b4139dbae23a21 /doc/source/dev/development_workflow.rst | |
parent | 1bb932f69e0974f11c98b6036529a014aa8dfaf2 (diff) | |
download | numpy-0457ca4e93d91983c985a8b463f71ab2e7b58b27.tar.gz |
DOC: Pull existing PR workflow (#22908)
Diffstat (limited to 'doc/source/dev/development_workflow.rst')
-rw-r--r-- | doc/source/dev/development_workflow.rst | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/doc/source/dev/development_workflow.rst b/doc/source/dev/development_workflow.rst index 33bd0126d..fe2e7328a 100644 --- a/doc/source/dev/development_workflow.rst +++ b/doc/source/dev/development_workflow.rst @@ -481,6 +481,28 @@ usual:: git commit -am 'ENH - much better code' git push origin my-feature-branch # pushes directly into your repo + +Checkout changes from an existing pull request +============================================== + +If you want to test the changes in a pull request or continue the work in a +new pull request, the commits are to be cloned into a local branch in your +forked repository + +First ensure your upstream points to the main repo, as from :ref:`linking-to-upstream` + +Then, fetch the changes and create a local branch. Assuming ``$ID`` is the pull request number +and ``$BRANCHNAME`` is the name of the *new local* branch you wish to create:: + + git fetch upstream pull/$ID/head:$BRANCHNAME + +Checkout the newly created branch:: + + git checkout $BRANCHNAME + +You now have the changes in the pull request. + + Exploring your repository ========================= |