Lenticular editing is an interesting idea where doc changes are replayed as code comments (and vice versa). https://www.russet.org.uk/blog/3035
miniblog.
Related Posts
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.
104
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.)