miniblog.

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.

This is a really fun approach to mode based editing: a clutch! When it's depressed you're in insert mode, and release to go back to command mode.

Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html (Uses Coq-style tactics.)