Merge "repo-pull: Introduce --ignore-unknown-changes arg"