Yes, it also looked like a bug to me some weeks ago and I was just like banging the wall. It eventually resolved for me in ~3 days but I have not written down the exact steps to share. So I feel with you but sorry that I can not provide direct steps. I’m only recovering from memory here.
It was really WTF the repository did not appear in the list under the repository tab. And it was just today by chance that I found it appearing under the migration tab. Thanks to your posting here btw. otherwise I would not have reviewed it. Also thanks for your help, I could solve limiting the repositories.
And also sorry in case my earlier reply did trigger something that made a mod change the title. That was absolutely not my intention.
The UI for sure is kind of not so intuitive. But regarding your earlier comment why this does not work as it is there for years, when I go on your repositories page (the one you ask about), it shows a message about joining a beta, so I’m not so sure that is the year-long product of Travis but a new one. Just saying:
/edit: the beta message appears when I go there with-out icognito mode in my browser. the screenshot does not show it well (as it is from archive-org copy). here the real thing: