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.

Ooh, I've just discovered that you can enable actions on GitHub pull requests by default! This is the actions settings page. My understanding is that GitHub introduced these limits to prevent people trying to run cryptominers on GitHub actions. Sounds like GitHub has largely fixed it.

A surprising amount of important software functions by developers doing each other favours by reviewing pull requests.