From 8e6085c12474022c3c6c6e235cd5b05557527890 Mon Sep 17 00:00:00 2001
From: Daniel Vetter <daniel.vetter@ffwll.ch>
Date: Wed, 5 Apr 2017 12:58:49 +0200
Subject: [PATCH] dim: Prune while fetching

We've just had some fun with a branch being deleted, but not
immediately noticed because the remote tracking branch was still
there. Make sure we catch such fumbles faster in the future.

Acked-by: Jani Nikula <jani.nikula@intel.com>
Signed-off-by: Daniel Vetter <daniel.vetter@intel.com>
---
 dim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dim b/dim
index 9bd9f95..ebc0e27 100755
--- a/dim
+++ b/dim
@@ -314,7 +314,7 @@ function git_fetch_helper # remote
 
 	remote=$1
 
-	if ! git fetch -q $remote ; then
+	if ! git fetch --prune -q $remote ; then
 		# old git versions returned 128 if there was nothing to fetch
 		if [[ $? -ne "128" ]] ; then
 			echoerr "Failed to fetch $remote"
-- 
GitLab