git-pull: allow pulling into an empty repository