[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