Sorry, my post overlapped with the post from Stoika Ivanov.
I am using the enterprise repo, because both systems that I am running are in production use. If I switch to the no-subscription repo can I easily go back to enterprise as soon as you have pushed there?
My preference would be a hotfix...