Files
computer-playbook/scripts/github
Environment TestandClaude Sonnet 4.6 5c1a963d30 docs(tools): restructure security and framework docs, add cleanup workflow
- Move flow/security/ghcr.md to tools/ghcr/authentication.md
- Move flow/security/mirror-cleanup.md to tools/ghcr/cleanup.md
- Move flow/security/branch.md to tools/github/branch.md
- Move flow/security/repository.md to tools/github/repository.md
- Move code/frameworks/ansible.md to tools/ansible.md
- Merge code/frameworks/Makefile.md into tools/make.md and extract file rules to artefact/files/makefile.md
- Rename tools/makefile.md to tools/make.md
- Add .github/workflows/images-mirror-cleanup.yml for manual GHCR cleanup
- Apply documentation.md standards: emojis on headlines, no em dashes, filename link text
- Fix all cross-references broken by directory restructuring

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-04-10 16:31:22 +02:00
..

GitHub Workflow Helpers

This is the SPOT for GitHub workflow helper scripts under scripts/github/. These helpers are called from .github/workflows/. For the repository Make target index, see make.md.

Entry Points

Script What it does Used by
cancel_deleted_branch_runs.sh Cancels active workflow runs for a deleted branch. .github/workflows/delete-branch.yml
cancel_pull_request_runs.sh Cancels active workflow runs for a closed pull request. .github/workflows/cancel-pull-request-runs.yml