GNU Radio uses hosting from OSUOSL and we've had a very positive time. There was one routing issue that we encountered but the team was excellent at working with our infrastructure lead to fix it.

On 29/04/2021 01:59, Carlos O'Donell wrote:
On Wed, Apr 28, 2021 at 5:16 PM Andreas Enge <andreas@enge.fr> wrote:

Am Wed, Apr 28, 2021 at 10:49:02PM +0200 schrieb Mark Wielaard:

I know we don't have an official governance body yet, but I like to
accept it for the GNU Assembly and migrate our current services, wiki,
web, lists and git to it.

that sounds good, thanks for working on our infrastructure! We should
mention our first sponsor (!) on our web pages.

I agree. Migrating to OSUOSL would be a good step forward.

Do we have any desire to change our DNS hosting for gnu.tools?

Cheers,
Carlos.