3 ms·

Even merge commits aren't pushes.