Remove git repos

I’m still fairly new to the github integration, so in trying to figure everything out it appears I have added a handful of repos in the IDE that I’m not actually using at the moment. I don’t have any code I am accessing from these repos, but they show up in my list when I select “Update From Repo” . They don’t however show up when I click “Settings”.

Can anyone help me understand why these would be showing up and how to get rid of them?

It doesn’t make sense that I can’t remove them… this definitely smells like a bug to me.

I’m having the same issue. Did you find a way to remove them?