With OBS shutdown (assuming it happens), we will have to see how whole infrastructure will be setup for ports. Currently we are, pretty much, in unknown situation. Hopefully, we will figure something out.