diff options
| author | Shitian Ni <shitian.ni@gmail.com> | 2017-05-25 13:52:19 +0900 |
|---|---|---|
| committer | Shitian Ni <shitian.ni@gmail.com> | 2017-05-25 13:52:19 +0900 |
| commit | cb731dc603969687eef781216c046f1857fabc1f (patch) | |
| tree | ae16d7a4964262e422288ae4dccd6d53d5b33a30 /doc/source/dev/gitwash/development_setup.rst | |
| parent | 1dd67b836c3b3540560e467a0775625211e6064a (diff) | |
| download | numpy-cb731dc603969687eef781216c046f1857fabc1f.tar.gz | |
updated development git document on protocols
Diffstat (limited to 'doc/source/dev/gitwash/development_setup.rst')
| -rw-r--r-- | doc/source/dev/gitwash/development_setup.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/source/dev/gitwash/development_setup.rst b/doc/source/dev/gitwash/development_setup.rst index 5623364a2..53fbf6b76 100644 --- a/doc/source/dev/gitwash/development_setup.rst +++ b/doc/source/dev/gitwash/development_setup.rst @@ -105,6 +105,11 @@ Note that we've used ``git://`` for the URL rather than ``https://``. The (or deliberately) write to the upstream repo, and we are only going to use it to merge into our own code. +But git protocol is commonly blocked by big corporate firewalls. +To prevent this, you can use SSH or HTTPS. +To change the url, you can use ``git remote set-url upstream new-url``. +For more info, visit `git protocols`_. + Just for your own satisfaction, show yourself that you now have a new 'remote', with ``git remote -v show``, giving you something like:: |