Subject: Re: [boost] [GitHub] Can boostorg/do-not-use be safely deleted?
From: Gottlob Frege (gottlobfrege_at_[hidden])
Date: 2017-07-29 19:47:05
On Sat, Jul 29, 2017 at 1:02 PM, Steven Watanabe via Boost
> On 07/29/2017 10:48 AM, Zach Laine via Boost wrote:
>> On Sat, Jul 29, 2017 at 4:31 AM, Louis Dionne via Boost <
>> boost_at_[hidden]> wrote:
>>> We have this repository: https://github.com/boostorg/do-not-use.
>>> The description says
>>> Permissions experiments; will disappear without notice.
>>> I'd like to confirm that this can safely be removed before I go do it.
>> Can you make it private for a month or two, and then delete it? Even if
>> no-one objects on-list, that might not mean much, since many people read
>> the list only sporadically. Making sure that scripts or whatever have a
>> chance to fail seems like more robust to me.
> In this case, I would say that since it says that
> it will disappear without notice, its perfectly
> fine to do just that.
> In Christ,
> Steven Watanabe
But it says *will* disappear without notice, not *may* disappear without notice.
Now that Louis has given notice, it obviously can't disappear.
I suggest he first revoke the notice, then delete it. Or possibly the
logic of the above is enough to in effect revoke the notice, thus it
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk