I’d like to take the lead on this. I’d suggest giving all of the core maintainers SSH access, to increase the likelihood of someone being available to investigate an issue at any given time. I’d also like to make deployments as automated as possible, so that SSH access isn’t actually required as long as things are running normally, as I would like to avoid a situation where only one person / a small group of people are able to perform deployments in this case. That’s probably a longer term goal though.
Where are they hosted now? Is it just these two apps we need to deal with? Also how are you doing DNS - is there an easy way of allowing others to fiddle with the *.purescript.org DNS configuration, or do you think it might be easier for you to continue being solely responsible for that?
What is the running cost at the moment? It’s fairly small, right? I think we might be able to get our employers to cover these costs if we ask nicely and put notices at the bottom of the relevant pages (“hosting sponsored by whoever”).