3 ms·

Also, one advantage of `git pull origin master:master` is that you don't have to checkout master first.