From 51868aadb3053ea2954f9de3018b927a5cac8a4f Mon Sep 17 00:00:00 2001
From: Calen Pennington <calen.pennington@gmail.com>
Date: Mon, 14 Jan 2013 12:40:17 -0500
Subject: [PATCH] Prune deleted remote branches

---
 jenkins/quality.sh | 2 ++
 jenkins/test.sh    | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/jenkins/quality.sh b/jenkins/quality.sh
index 4cf26d76bf..56217af874 100755
--- a/jenkins/quality.sh
+++ b/jenkins/quality.sh
@@ -3,6 +3,8 @@
 set -e
 set -x
 
+git remote prune origin
+
 # Reset the submodule, in case it changed
 git submodule foreach 'git reset --hard HEAD'
 
diff --git a/jenkins/test.sh b/jenkins/test.sh
index 94ea950b72..a354039359 100755
--- a/jenkins/test.sh
+++ b/jenkins/test.sh
@@ -15,6 +15,8 @@ function github_mark_failed_on_exit {
     trap '[ $? == "0" ] || github_status state:failure "failed"' EXIT
 }
 
+git remote prune origin
+
 github_mark_failed_on_exit
 github_status state:pending "is running"