summaryrefslogtreecommitdiff
path: root/doc/source
diff options
context:
space:
mode:
authorGanesh Kathiresan <ganesh3597@gmail.com>2023-01-26 12:28:20 +0530
committerGitHub <noreply@github.com>2023-01-25 22:58:20 -0800
commit0457ca4e93d91983c985a8b463f71ab2e7b58b27 (patch)
tree61db0b40602e532f301bd72089b4139dbae23a21 /doc/source
parent1bb932f69e0974f11c98b6036529a014aa8dfaf2 (diff)
downloadnumpy-0457ca4e93d91983c985a8b463f71ab2e7b58b27.tar.gz
DOC: Pull existing PR workflow (#22908)
Diffstat (limited to 'doc/source')
-rw-r--r--doc/source/dev/development_workflow.rst22
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
=========================