New comment by 0x5c on void-packages repository https://github.com/void-linux/void-packages/pull/36547#issuecomment-1090810605 Comment: Would an option be to setup a "generic" subdomain that points to whatever official repo should be the default? Then next time a default repo change is needed, it would only be a matter of changing where it points to.