From 84f158b5e6be36fd0fc50ede30955fe52dff10fe Mon Sep 17 00:00:00 2001
From: Adrian Dvergsdal <github.com@konto.atmoz.no>
Date: Fri, 17 Jul 2020 01:14:05 +0200
Subject: [PATCH] Don't rely on $HOME

---
 .github/actions/git-verify-ref/entrypoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/actions/git-verify-ref/entrypoint.sh b/.github/actions/git-verify-ref/entrypoint.sh
index fa79f83..c6eba43 100755
--- a/.github/actions/git-verify-ref/entrypoint.sh
+++ b/.github/actions/git-verify-ref/entrypoint.sh
@@ -12,7 +12,7 @@ git_options="${*:3}"
 
 
 # GitHub Actions fix
-if [ "$HOME" == "/github/home/" ]; then
+if [ -e "/github/home/" ]; then
     cp -r /root/.gnupg /github/home/
 fi