i recently migrated one of my repos (drexa) from github. i started with the github migrator, which worked, but then i discovered that it migrated to the hosted knot, which i did not want.
i decided to delete the repo, then re-run the migration process using the git url and chose my knot @ knot.nym.sh as the destination. the migration was successful, and my knot is storing it and serving it. however, the control plane here is no longer showing the migrated repo.
i wonder if it is an indexing lag issue, or if i did something wrong on my end. happy to provide more info if needed.
i just tried to import a fresh, previously-not-imported repo from github (https://github.com/kennethnym/infinifi) using its git url, and it's also not showing up