(I sent this in Slack; just for giggles, I'm going to try to send this across the devel list — I'm genuinely not sure if this will successfully be sent across the list or not)
We are having problems with our mailman list server again. Basically, all of our lists were down for a while (a month?); I think you can send across them now, but you still can't subscribe to the lists. Our provider, the New Mexico Consortium, has been gracious and helpful over time, but I think we've worn out our welcome -- they have very little time/ability to help us out when something goes wrong. Is it time to move to Google Groups? I did some digging; here's what I found: 1. We can get ompi-us...@googlegroups.com<mailto:ompi-us...@googlegroups.com> (etc.) today, for free. However, we cannot easily re-subscribe everyone who was already subscribed. This may or may not be a tragedy, but consider: we may not even be able to send an email notifying all existing subscribers of the change (and tell them to re-subscribe to the new Google Group(s)). 2. We can pay roughly $75/year to get the lowest paid tier Google Workspace account and both 1) re-create us...@lists.open-mpi.org<mailto:us...@lists.open-mpi.org> (etc.) and 2) be able to write a little Python code to re-subscribe all existing subscribers (I can do this) to all the existing lists. 3. If we bump up one tier (~$100/year), we get Google Shared Drives, which would more robust cloud file storage / sharing (we currently use a free Google shared folder for this, where ownership of files is not clear and subject any individual randomly/accidentally deleting files over time). #3 seems like a no-brainer, with the exception of: who pays? From a corporate perspective, $100/year is nothing. But I couldn't justify this expense to my company; can anyone else? It is easiest to pay for Google Workspace by credit card; it would likely need someone to get reimbursed by their corporate employer. -- Jeff Squyres
