3 ms·

I guess it's better for people the prefer the GitHub-style “pull request” workflow over the traditional e-mail-based workflow.