fix(ci): use stable v1.4.2 release of github-repo-stats

HEAD (b1ef746a) has a first-run bug where ghrs-data/ directory is not
created before write. Fall back to the stable v1.4.2 release.

diff --git a/.github/workflows/repo-stats.yml b/.github/workflows/repo-stats.yml
index 5a924484b06059a55dea6f4d76df7952d18ef56f..b72f1d6afabb3c27636176dc2ee4ca195e30eecc 100644 (file)
--- a/.github/workflows/repo-stats.yml
+++ b/.github/workflows/repo-stats.yml
@@ -36,7 +36,7 @@ jobs:
           SECRET_TOKEN: ${{ secrets.SECRET_TOKEN }}
 
       - name: Collect repository traffic stats
-        uses: jgehrcke/github-repo-stats@b1ef746a160025ee47390ea5e332b09a7acb3e80 # v1.4.2+
+        uses: jgehrcke/github-repo-stats@306db38ad131cab2aa5f2cd3062bf6f8aa78c1aa # v1.4.2
         with:
           ghtoken: ${{ secrets.SECRET_TOKEN }}
           repository: ${{ github.repository }}