Fix non-bare repo to use pull instead of fetch

Running sync.php on non-bare repository, instead of running git pull, always runs git fetch, which does not merge changes from upstream to local.