3 ms·

Hmm, tried it out. Going "back" to plain old cli git. I got so used to the command line that I'm faster with it.