diff options
Diffstat (limited to '.github/workflows/maintenance.yml')
| -rw-r--r-- | .github/workflows/maintenance.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/maintenance.yml b/.github/workflows/maintenance.yml index a652c31..d1f7e95 100644 --- a/.github/workflows/maintenance.yml +++ b/.github/workflows/maintenance.yml @@ -17,7 +17,8 @@ jobs: - name: Checkout uses: actions/checkout@v7 with: - persist-credentials: false + # Needed for `git push` below. + persist-credentials: true # I think that by default, pushes don't trigger other workflows, and # you need a separate token for that: # https://docs.github.com/en/actions/how-tos/write-workflows/choose-when-workflows-run/trigger-a-workflow#triggering-a-workflow-from-a-workflow |