DELETE: kill ign-sudoers.ign because it had been moved to a new repo