I'm increasingly doubtful that commit messages should be entirely immutable.
I sometimes find myself editing or commenting on merged pull requests, to help future readers.
Phabricator appended a URL to commit messages, which helped. In principle PR merging could do the same thing.
The "Rule Of Least Power" makes a great argument in favour of less computationally capable languages. It claims this helped HTML/CSS adoption.
https://www.w3.org/2001/tag/doc/leastPower.html
Applying this principle, I'd expect total languages to be popular. This hasn't happened AFAICT: what's missing?
Allowing users to redefine anything at any point has far reaching design consequences, and has helped lisp/Smalltalk IDEs:
https://news.ycombinator.com/item?id=16586347