repo-pull: fixes for path unlinking