Skip to content

Fix workflow push and PR creation permissions#8

Merged
jgeudens merged 1 commit intomainfrom
improve_script
Apr 30, 2026
Merged

Fix workflow push and PR creation permissions#8
jgeudens merged 1 commit intomainfrom
improve_script

Conversation

@jgeudens
Copy link
Copy Markdown
Member

Add workflows: write permission to allow pushing to branches containing workflow files, force-push to handle stale branches from failed runs, and || true on gh pr create to skip if the PR already exists.

Add workflows: write permission to allow pushing to branches containing
workflow files, force-push to handle stale branches from failed runs,
and || true on gh pr create to skip if the PR already exists.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@jgeudens jgeudens merged commit bbacb3c into main Apr 30, 2026
2 checks passed
@jgeudens jgeudens deleted the improve_script branch April 30, 2026 19:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant