From d6d0a8a29c34676eb75cb6dd5d2423a19d781f5f Mon Sep 17 00:00:00 2001
From: Altan Orhon <altan@uw.edu>
Date: Tue, 24 Oct 2023 16:06:18 -0700
Subject: [PATCH] Put README generation in GitHub Action

---
 .github/workflows/mkreadme.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/mkreadme.yml b/.github/workflows/mkreadme.yml
index f60fa3b..bfc4378 100644
--- a/.github/workflows/mkreadme.yml
+++ b/.github/workflows/mkreadme.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Check if README.md has changed
         id: readme-changed
         run: |
-          if ! git --no-pager diff --name-only --quiet --diff-filter=AM HEAD^ -- hyakvnc .build/README.j2.md .github/workflows/mkreadme.yml; then
+          if ! git --no-pager diff --name-only --quiet --diff-filter=AM 'HEAD^' -- hyakvnc .build/README.j2.md .github/workflows/mkreadme.yml; then
             gh run cancel ${{ github.run_id }}
             gh run watch ${{ github.run_id }}
           fi