fix(#924): add revert to allowed gitlint commit types

[fullsend-ai-coder]

Summary

• Add revert to the allowed commit types in .gitlint ([contrib-title-conventional-commits] section)
• Add revert to the documented type prefixes in AGENTS.md section 4 ("Commit message format")

Context

PR #923 used a revert(skillsaw): commit type which is valid per the Conventional Commits spec but was rejected by the commit-lint CI job because .gitlint did not include revert in its allowed types list. This was a configuration gap — all other standard Conventional Commits types were already present.

Testing

Verified locally with gitlint:

• revert(skillsaw): restore skill names now passes the type check (previously failed with CT1)
• Invalid types like undo(skillsaw): restore skill names still fail as expected
• All pre-existing repo tests pass (16 pre-existing failures in post-retro-test.sh are unrelated)

---

Closes #924

Post-script verification

• Branch is not main/master (agent/924-add-revert-commit-type)
• Secret scan passed (gitleaks — 7ad7b5000373150ce1bf1a312dd6713045bea8f8..HEAD)
• PR body secret scan passed (gitleaks — no-git)

[fullsend-ai-review]

🤖 Finished Review · ✅ Success · Started 3:09 PM UTC · Completed 3:20 PM UTC

Commit: 6b6f8f9 · View workflow run →

[fullsend-ai-review]

Review

Findings

Medium

• [protected-path] AGENTS.md:40 — AGENTS.md is a protected governance file. This PR modifies it to add revert to the documented commit type prefixes (section 4, "Commit message format"). The change is linked to issue Add 'revert' to .gitlint allowed commit types and AGENTS.md #924 and the rationale is clearly explained. Human approval is always required for protected-path changes, regardless of context.