3 ms·

Github is great, I see no reason to switch. The competition should definitely accelerate development though, so that's nice.