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.

It's weird that GitHub shows time since the last commit, but not time since the first commit. It's a nice way of seeing how mature a project is.

Doing another iteration on my diagnostics display. I'm reasonably happy with the bold highlighting within the error message. I'm not sure about the colour on Warning and Error though. It gives the output some visual structure, but arguably the message itself is more important.