From 08056b45533326523201414990bbc8968025331a Mon Sep 17 00:00:00 2001
From: Adam Dinwoodie <adam@dinwoodie.org>
Date: Sun, 17 Apr 2022 18:28:57 +0100
Subject: [PATCH] Set HOME explicitly in Windows

To work around actions/checkout#767, where the checkout action tries to
use the wrong Git config file as the basis for its temporary config
file, set HOME explicitly to be the Cygwin home directory.
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 609fbc8..1e8610f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -12,6 +12,7 @@ jobs:
         shell: bash --noprofile --norc -e -o pipefail -o igncr {0}
     env:
       PATH: C:\cygwin\bin
+      HOME: C:\cygwin\home\runneradmin
     steps:
       - name: Install Cygwin Git
         uses: cygwin/cygwin-install-action@v2