summaryrefslogtreecommitdiff
path: root/doc/source
diff options
context:
space:
mode:
authorMatti Picus <matti.picus@gmail.com>2022-12-11 19:10:01 -0500
committerGitHub <noreply@github.com>2022-12-11 19:10:01 -0500
commit73bb6411612a10ae963569ade609495e02e475e1 (patch)
tree04e6a58df38f48fa261e665487398ca2edb519c9 /doc/source
parentb0fdcb3b80577033611d6d9ff690ecc64f1d636a (diff)
parenteca49be1d8b3dac67dfbab4e79d9e3cc6a3fd12b (diff)
downloadnumpy-73bb6411612a10ae963569ade609495e02e475e1.tar.gz
Merge pull request #22732 from ganesh-k13/add_pull
DOC: Add instruction to do `git pull`
Diffstat (limited to 'doc/source')
-rw-r--r--doc/source/dev/gitwash/development_setup.rst4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/source/dev/gitwash/development_setup.rst b/doc/source/dev/gitwash/development_setup.rst
index 4cb6c8358..75b7fb2f8 100644
--- a/doc/source/dev/gitwash/development_setup.rst
+++ b/doc/source/dev/gitwash/development_setup.rst
@@ -107,6 +107,10 @@ Make the local copy
git submodule update --init
+#. Pull from upstream to get latest tag information: ::
+
+ git pull
+
******************************************************************************
Look it over
******************************************************************************