diff options
author | Matti Picus <matti.picus@gmail.com> | 2022-12-11 19:10:01 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-11 19:10:01 -0500 |
commit | 73bb6411612a10ae963569ade609495e02e475e1 (patch) | |
tree | 04e6a58df38f48fa261e665487398ca2edb519c9 /doc/source | |
parent | b0fdcb3b80577033611d6d9ff690ecc64f1d636a (diff) | |
parent | eca49be1d8b3dac67dfbab4e79d9e3cc6a3fd12b (diff) | |
download | numpy-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.rst | 4 |
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 ****************************************************************************** |