[tor-commits] [tor-browser-bundle/maint-3.6] Prune dead tags during git fetch.

[mikeperry at torproject.org]

commit 35e9a826033ca1d324e461f94126f6602bb3a2b6
Author: Mike Perry <mikeperry-git at torproject.org>
Date:   Thu May 29 13:27:20 2014 -0700

    Prune dead tags during git fetch.
    
    fteproxy created and removed some crazy branches that managed to break git
    updates without a prune step.
---
 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 fb2464a..ddd7a19 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 remote set-url origin $url && git fetch origin && git fetch --tags origin)
+    (cd "$dir" && git remote set-url origin $url && git fetch --prune origin && git fetch --prune --tags origin)
   else
     if ! git clone "$url"; then
       echo >&2 "Error: Cloning $url failed"