updateRepos do a pull even if there's nothing to push when push is
enabled