johno/gastown
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

feat(security): add GIT_AUTHOR_EMAIL per agent type #2

Closed
johno wants to merge 2 commits from feat/agent-email-identity into main
pull from: feat/agent-email-identity
merge into: johno:main
Conversation 1 Commits 2 Files Changed 3 +14
johno commented 2026-01-19 14:53:19 -08:00
Owner
Copy Link

Phase 1 of agent security model. Adds distinct email addresses per agent type for better audit trails.

Phase 1 of agent security model. Adds distinct email addresses per agent type for better audit trails.
johno added 1 commit 2026-01-19 14:53:19 -08:00
feat(security): add GIT_AUTHOR_EMAIL per agent type
Some checks failed
Block Internal PRs / Block Internal PRs (pull_request) Failing after 2s
Details
CI / Check for .beads changes (pull_request) Successful in 7s
Details
CI / Check embedded formulas (pull_request) Failing after 11s
Details
CI / Test (pull_request) Failing after 1m37s
Details
CI / Lint (pull_request) Failing after 16s
Details
CI / Integration Tests (pull_request) Successful in 1m37s
Details
Integration Tests / Integration Tests (pull_request) Successful in 1m39s
Details
CI / Coverage Report (pull_request) Has been skipped
Details
7ffb131c84 
Phase 1 of agent security model: Set distinct email addresses for each
agent type to improve audit trail clarity.

Email format:
- Town-level: {role}@gastown.local (mayor, deacon, boot)
- Rig-level: {rig}-{role}@gastown.local (witness, refinery)
- Named agents: {rig}-{role}-{name}@gastown.local (polecat, crew)

This makes git log filtering by agent type trivial and provides a
foundation for per-agent key separation in future phases.

Refs: hq-biot
gitea-actionsbot commented 2026-01-19 14:59:21 -08:00
Copy Link

Internal PRs are not allowed.

Gas Town agents push directly to main. PRs are for external contributors only.

To land your changes:

git checkout main
git merge feat/agent-email-identity
git push origin main
git push origin --delete feat/agent-email-identity

See CLAUDE.md: "Crew workers push directly to main. No feature branches. NEVER create PRs."

**Internal PRs are not allowed.** Gas Town agents push directly to main. PRs are for external contributors only. To land your changes: ```bash git checkout main git merge feat/agent-email-identity git push origin main git push origin --delete feat/agent-email-identity ``` See CLAUDE.md: "Crew workers push directly to main. No feature branches. NEVER create PRs."
gitea-actionsbot closed this pull request 2026-01-19 14:59:21 -08:00
Some checks failed
Block Internal PRs / Block Internal PRs (pull_request) Failing after 2s
Details
CI / Check for .beads changes (pull_request) Successful in 7s
Details
CI / Check embedded formulas (pull_request) Failing after 11s
Details
CI / Test (pull_request) Failing after 1m37s
Details
CI / Lint (pull_request) Failing after 16s
Details
CI / Integration Tests (pull_request) Successful in 1m37s
Details
Integration Tests / Integration Tests (pull_request) Successful in 1m39s
Details
CI / Coverage Report (pull_request) Has been skipped
Details

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
johno-square johno
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: johno/gastown#2
Delete Branch "feat/agent-email-identity"

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?