diff options
Diffstat (limited to '.github')
| -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 71f5b21..5d8e47b 100644 --- a/.github/workflows/maintenance.yml +++ b/.github/workflows/maintenance.yml @@ -15,7 +15,8 @@ jobs: uses: actions/checkout@v6 with: # I think that by default, pushes don't trigger other workflows, and - # you need a separate token for that: https://github.com/orgs/community/discussions/37103 + # 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 token: '${{ secrets.GH_TOKEN }}' - name: Set up ssh-agent uses: webfactory/ssh-agent@v0.10.0 |