4 ms·

And that's nice, but I'd also love to see a bot that formats the pull request into a patch email for you.