3 ms·

Or you could just kindly nudge him into opening a pull request. He's probably never done it before.