Loosen GitHub verified-signatures branch rule to unblock the mirror #114
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
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?
Problem
GitHub branch protection on
coilysiren/coilyrefs/heads/mainrequires verified signatures on every commit. With the migration to Forgejo-canonical + Forgejo->GitHub mirror (coily#113), the GitHub side becomes a read-only mirror. Forgejo accepts unsigned commits (e.g. those generated by the in-pod release workflow), and those unsigned commits then block the mirror push to GitHub.Concrete blocker: commit
6d7fecab1524a1a723bb5154dd9e3a7d17ed1908on Forgejo main is unsigned. Localgit push origin mainto GitHub is rejected:Fix shape
Loosen or remove the verified-signatures branch rule at https://github.com/coilysiren/coily/rules?ref=refs%2Fheads%2Fmain. Since GitHub is now a read-only mirror of Forgejo, the signing requirement is vestigial - it was protecting a write surface that no longer exists. Forgejo enforces its own write-side discipline.
Two options:
Out of scope
Whether to keep any other GitHub branch protections. Most are vestigial now but a few might still serve as belt-and-suspenders (force-push prevention against a compromised mirror PAT, for example).
Related
Note
Kai is working this in a separate session.