Some public repositories are missing from the list at

Some repositories that are present at are missing from

This includes

Syncing to Github doesn’t change anything.

The Travis CI Github App is enabled for all repositories.

A similar topic Beta migration to Repo list incorrect doesn’t apply because this is a public repository that belongs to me personally.

I suspected that this might be because integration is enabled for it. But it’s also enabled for, and it is present in both lists. I also tried disabling integration for the above-mentioned repo then syncing the .com list to Github – this also had no effect.

I found them on the “migrate” tab.