|
Boost : |
From: Ion Gaztañaga (igaztanaga_at_[hidden])
Date: 2024-08-02 19:29:01
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
> <boost_at_[hidden]> 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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk