Skip to content

docs: preserve contributor Git identity when committing - #828

Open
thehobbit85 wants to merge 1 commit into
seedds:mainfrom
thehobbit85:codex/contributor-git-identity
Open

thehobbit85 wants to merge 1 commit into
seedds:mainfrom
thehobbit85:codex/contributor-git-identity

Conversation

@thehobbit85

@thehobbit85 thehobbit85 commented Oct 31, 2026 •

Copy link
Copy Markdown
Contributor

Fixes #827.

AGENTS.md forces commits to use the repository owner's identity. Preserve the requirement to commit only when asked while using each contributor's configured author, committer and signing identity. Main still has the forced-identity rule; #691 changes a separate instruction.

Revision 819ae88308ac38ae5c2d245f622c5e6d5969f817 includes main 65501fbbaf8526f7aab0a1edd028135888590f8e. Main still instructs contributors to use the repository owner’s Git identity.

Validation on 819ae88308ac. python3 -m unittest dm.tools.tests.test_docs — 11 tests passed.

GitHub checks for this revision

@thehobbit85
thehobbit85 force-pushed the codex/contributor-git-identity branch 9 times, most recently from 0e600f8 to 3da5ed3 Compare November 2, 2026 15:49
@thehobbit85
thehobbit85 force-pushed the codex/contributor-git-identity branch from 3da5ed3 to 819ae88 Compare November 2, 2026 17:43
@github-actions github-actions Bot added the docs Documentation label Nov 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

AGENTS.md always tells agents to commit as the repository owner

2 participants