(Unless I'm missing something) you can't even delete the dcma'd one in the repository settings to clear up the repo name again :/