On Sat, Jul 23, 2011 at 10:49:45PM +0100, Keith Roberts wrote:
I might move that repo file to a spare directory, so yum does not pick it up again.
You can leave it in /etc/yum.repos.d if you'd like, just rename it so that it does not end in ".repo".
John