commit a6cb46cdf3332edad9bf84885c51afa4896e7d20
Author: Mike Perry <[email protected]>
Date: Thu May 29 13:09:15 2014 -0700
Allow the urls of git inputs to change without issue.
---
gitian/fetch-inputs.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gitian/fetch-inputs.sh b/gitian/fetch-inputs.sh
index b4ff609..9aff99d 100755
--- a/gitian/fetch-inputs.sh
+++ b/gitian/fetch-inputs.sh
@@ -90,7 +90,7 @@ update_git() {
if [ -d "$dir/.git" ];
then
- (cd "$dir" && git fetch origin && git fetch --tags origin)
+ (cd "$dir" && git remote set-url origin $url && git fetch origin && git
fetch --tags origin)
else
if ! git clone "$url"; then
echo >&2 "Error: Cloning $url failed"
_______________________________________________
tor-commits mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits
