From 7a13ae0ffb73308bbf55384abf578fa4b64736fd Mon Sep 17 00:00:00 2001
From: Veronika Romashkina <vrom911@gmail.com>
Date: Mon, 9 Nov 2020 15:34:12 +0000
Subject: [PATCH] Fix ci.yml error with set-head (#204)

---
 .github/workflows/ci.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7406189..663e4c9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -45,8 +45,14 @@ jobs:
 
     - name: origin/HEAD
       if: matrix.os != 'macOS-latest'
-      run: git remote set-head origin -a
-
+      run: |
+          git gc
+          git fsck --full
+          git reflog expire --expire=0 --all
+          git remote -v
+          git gc --aggressive
+          git remote update --prune
+          git remote set-head origin -a
     - name: Test
       if: matrix.os != 'macOS-latest'
       run: cabal test