diff options
| author | Egor Tensin <egor@tensin.name> | 2026-06-20 14:41:34 +0200 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-06-20 14:41:34 +0200 |
| commit | 9fd131e9e1644632de376a8f59f52ab7dce431f5 (patch) | |
| tree | f4a5a416e084abbcfb0d7b986a6ce34a45d7e2e2 /.github | |
| parent | workflows/ci: allow the linting job to fail on non-master branches (diff) | |
| download | cgitize-9fd131e9e1644632de376a8f59f52ab7dce431f5.tar.gz cgitize-9fd131e9e1644632de376a8f59f52ab7dce431f5.zip | |
workflows/maintenance: fix a link
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 |