There's no git command to ignore it, the main repo should merge their changes and then the other person can make a PR on the updated changes.