[pacman-dev] [PATCH] Add the ability to always build from the repo's HEAD

[Techlive Zheng]

This is a hack to make sure 'git fetch' inside an existing repository
still gets its HEAD tracking remote's HEAD.
---
 scripts/makepkg.sh.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/makepkg.sh.in b/scripts/makepkg.sh.in
index c27c74d..30288db 100644
--- a/scripts/makepkg.sh.in
+++ b/scripts/makepkg.sh.in
@@ -557,6 +557,9 @@ download_git() {
 		if ! git fetch --all -p; then
 			# only warn on failure to allow offline builds
 			warning "$(gettext "Failure while updating %s %s repo")" "${repo}" "git"
+		else
+			git fetch origin HEAD
+			echo "$(git rev-parse FETCH_HEAD)" > HEAD
 		fi
 	fi
 }
-- 
1.8.3