From b1d7c83c16efdd7c495230a5dfdebcdd07b0b8c8 Mon Sep 17 00:00:00 2001 From: Niels de Vos Date: Tue, 22 Sep 2020 11:25:51 +0200 Subject: [PATCH] ci: checkout FETCH_HEAD instead of GIT_REF GIT_REF can point to a ref that it not part of a branch and can not easily be checked out (like a GitHub PR). Checking out FETCH_HEAD after fetching the GIT_REF works. Signed-off-by: Niels de Vos --- deploy/checkout-repo.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deploy/checkout-repo.sh b/deploy/checkout-repo.sh index e3b231b81..28ef225e8 100755 --- a/deploy/checkout-repo.sh +++ b/deploy/checkout-repo.sh @@ -14,4 +14,4 @@ set -e git init . git remote add origin "${GIT_REPO}" git fetch origin "${GIT_REF}" -git checkout "${GIT_REF}" +git checkout FETCH_HEAD