From 4a2d5bcf895106e3d91df66990dd193bf661f436 Mon Sep 17 00:00:00 2001 From: sideshowbarker Date: Sat, 20 Jul 2024 15:39:53 +0900 Subject: [PATCH] CI: Make the notes-push.yml workflow fetch the entire repo history MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This change makes the notes-push.yml·workflow fetch the entire history on each push, rather than just the one HEAD commit it otherwise sees. Because we push multiple commits from PR merges, git-gloss need access on each push to an arbitrary number of commits (however many commits were pushed in a PR that got merged). There’s no easy way from GH Actions to know how may commits got pushed at the same time. So we instead fetch the whole history. --- .github/workflows/notes-push.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/notes-push.yml b/.github/workflows/notes-push.yml index 2b888227553..86a6920a5bc 100644 --- a/.github/workflows/notes-push.yml +++ b/.github/workflows/notes-push.yml @@ -9,7 +9,9 @@ jobs: build: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 + with: + fetch-depth: 0 - uses: fregante/setup-git-user@v2 - run: | git fetch origin "refs/notes/*:refs/notes/*"