git-migration: Exclude punted packages from the superrepo.