Record the mirror token's workflow permission constraint #6
Loading…
Reference in a new issue
No description provided.
Delete branch "docs/mirror-token-note"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The push mirror token holds only Contents: Read and write. GitHub rejects pushes touching .github/workflows without Workflows: Read and write, so adding a workflow would stop the mirror for a reason unrelated to the workflow itself.