From: teor <teor@torproject.org>
Date: Thu, 31 Oct 2019 03:56:59 +0000 (+1000)
Subject: scripts/git: Don't use spaces in git URLs
X-Git-Tag: tor-0.4.3.1-alpha~223
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=cb7340abf1c6ca182d95be2f2cf6aa210d1aadc2;p=thirdparty%2Ftor.git

scripts/git: Don't use spaces in git URLs
---

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 #