diff options
| author | teor <teor@torproject.org> | 2019-10-31 13:56:59 +1000 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2019-10-31 13:56:59 +1000 |
| commit | cb7340abf1c6ca182d95be2f2cf6aa210d1aadc2 (patch) | |
| tree | 28cf31ca326d505162411ecf48290920b75cc615 /scripts/git | |
| parent | 40e75bc3e172a38ab0a3b7747b11c8838e22a268 (diff) | |
| download | tor-cb7340abf1c6ca182d95be2f2cf6aa210d1aadc2.tar.gz tor-cb7340abf1c6ca182d95be2f2cf6aa210d1aadc2.zip | |
scripts/git: Don't use spaces in git URLs
Diffstat (limited to 'scripts/git')
| -rwxr-xr-x | scripts/git/git-setup-dirs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/git/git-setup-dirs.sh b/scripts/git/git-setup-dirs.sh index 87779c7304..cb4faacdaf 100755 --- a/scripts/git/git-setup-dirs.sh +++ b/scripts/git/git-setup-dirs.sh @@ -71,7 +71,7 @@ if [ "$DEFAULT_UPSTREAM_REMOTE" != "origin" ]; then fi # GitHub repositories GITHUB_PULL=${TOR_GITHUB_PULL:-"https://github.com/torproject/tor.git"} -GITHUB_PUSH=${TOR_GITHUB_PUSH:-"No pushes to GitHub"} +GITHUB_PUSH=${TOR_GITHUB_PUSH:-"No_Pushing_To_GitHub"} ########################## # Git branches to manage # |