I've been having problems this afternoon with not being able to update ALL repositories, but have since found out that this is very likely to a server migration issue (info found on here ), and will most likely resolve itself soon??
Anyway.. in my efforts to resolve the issue myself (before the info about migration) I tried deleting the \extras repo, as well as the \extras\testing one, and re-entering the settings for each.
Whilst saving the \extras info I now notice I have mistyped some of the settings. But, I cannot now DELETE the rep, I only have the SAVE option available.
Can anyone advise on how I can remove the incorrect repo completely?