Development record
main's own commit messages are ungated: Makefile's check-attribution runs origin/main..HEAD, whose base is main itself, so a commit that lands on main (squash, web merge) is never checked by any local or CI run afterwards
issueresolvedminoriss-280
main's own commit messages are ungated: Makefile's check-attribution runs origin/main..HEAD, whose base is main itself, so a commit that lands on main (squash, web merge) is never checked by any local or CI run afterwards
Grounds
- pursued: a commit that lands on main with a machine author or a missing trailer turns the queue or the push run red; shown wrong by such a commit on main with a green attribution push run
Frontmatter
| id | iss-280 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-280-main-s-own-commit-messages-are-ungated.md
open on GitHub ↗ · commit history ↗
mentions1
- iss-2609251125591539git revert writes no Assisted-by trailer, and the attribution commit gate (now also on the merge queue and on push to main, iss-280) refuses the message, so a plain revert can only be satisfied by rewriting history. Carried from the duplicate iss-2609100513521322's third acceptance: the trailer should be written when the message is written (a commit template or a prepare-commit-msg hook), not demanded after.