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.

GitHub is adding a notion of a queue for pull requests, so you know if your PR is green relative to the PR that will land first! Reminds me of Bors for Rust.