diff options
| author | Egor Tensin <egor@tensin.name> | 2026-10-21 01:09:21 +0300 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-10-21 01:37:35 +0300 |
| commit | bf225af3cdb1271e9e3c83caaa967cd2ff1a314e (patch) | |
| tree | 8ceea0e4e08ba4382f26327085d8af9dd197ad2a /.github/workflows | |
| parent | clean up GitHub secrets (diff) | |
| download | cgitize-bf225af3cdb1271e9e3c83caaa967cd2ff1a314e.tar.gz cgitize-bf225af3cdb1271e9e3c83caaa967cd2ff1a314e.zip | |
workflows/maintenance: fix pushes
Diffstat (limited to '.github/workflows')
| -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 |