Skip to content

Commit 58d5de7

Browse files
docs: add Signed commits section to CONTRIBUTING
Owner ruling D218. See docs/SIGNING-POLICY.adoc in hyperpolymath/standards. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WRvDivYwLSeVCJUrfjic3f
1 parent 3c4dc82 commit 58d5de7

1 file changed

Lines changed: 17 additions & 0 deletions

File tree

‎CONTRIBUTING.adoc‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -107,3 +107,20 @@ We follow [Conventional Commits](https://www.conventionalcommits.org/):
107107
{empty}[optional body]
108108

109109
{empty}[optional footer]
110+
111+
== Signed commits
112+
113+
Every commit that reaches the default branch must be signed; a ruleset refuses
114+
unsigned pushes. Estate policy:
115+
https://github.com/hyperpolymath/standards/blob/main/docs/SIGNING-POLICY.adoc[SIGNING-POLICY].
116+
117+
* **People and interactive agents** sign with an SSH key registered on GitHub
118+
as a *signing* key (`gpg.format=ssh`, `user.signingkey=<key>.pub`,
119+
`commit.gpgsign=true`). The committer email must be verified on that account.
120+
* **Apps, bots and workflows** never `git push` local commits. They write
121+
through the API (`createCommitOnBranch` or the estate `signed-push` action)
122+
so that GitHub signs each commit.
123+
* Merge PRs with **squash**. The ruleset checks every commit on the PR branch,
124+
not just the result, so one unsigned commit blocks the merge. Re-create such a
125+
branch with signed commits (`git cherry-pick -S`) and open a new PR.
126+
Rebase-merge replays commits unsigned and is disabled.

0 commit comments

Comments
 (0)