Re: [boost] Notice of Intent To Redirect boost.org to boost.io

El 02/08/2024 a las 16:40, Vinnie Falco via Boost escribió:

On Fri, Aug 2, 2024 at 7:12 AM Klemens Morgenstern via Boost wrote:

...

Grounds?

The pull request is obsolete now, so this is a moot point. I have commented on the issue to reflect this.

Why is the pull request obsolete? I'm really confused. I mean, we can't first debate whether we should have a new website, have a discussion in the ML about it, do a revision in the ML, fill bugs, review if they were solved, officially announce that the new website will go live when ready... and now just say this is obsolete. This is just unproductive. Whatever the outcome of the "available options" posted by Kristen, IMHO the new website should go live because that's what the community decided. That's independent of who owns/manages the domain. If the direct way is through this pull request, let's do it, we can do the DNS adjustments later when the owner issue is decided. Best, Ion