Help to remove a repo via SSH

[mrkay]

I added the ripdev repo cuz I was thinking about trying ICY. I decided against it and would like to remove the Ripdev repo. It's not in the "entered by user" section of the repos. It's in the "installed by packages" section but it's not in the packages so I can't uninstall it. I searched high and low with SSH to find and delete it....no luck finding it. I'm hoping one of you could tell me where to look and perhaps anything else I may need to know to remove any trace of it. Thanks in advance.

[tatum]

find / -name *ripdev*