From 84c8213e140487af6ead0bf876f38204fe5fb878 Mon Sep 17 00:00:00 2001
From: Dirk Hohndel <dirk@hohndel.org>
Date: Thu, 27 Aug 2015 13:28:25 -0700
Subject: Fix build script

A git pull seems to cause things to go wrong. Just fetching the repository
and checking out the version that we want seems to work better.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
---
 scripts/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index 6fe361fb7..d72e213bf 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -77,7 +77,7 @@ if [ ! -d libgit2 ] ; then
 fi
 cd libgit2
 # let's build with a recent enough version of master for the latest features
-git pull origin master
+git fetch origin
 if ! git checkout v0.23.1 ; then
 	echo "Can't find the right tag in libgit2 - giving up"
 	exit 1
-- 
cgit v1.2.3-70-g09d2