pull: pass --allow-unrelated-histories to "git merge"