Git: Optimize repo update, dont poll twice

Summary:
Before: pull (get new branches), checkout, pull
Now: fetch (get new branches), checkout, merge

Note: git pull is simply git fetch + git merge

Differential Revision: https://phabricator.kde.org/D727