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