Re: [boost] [GitHub] Can boostorg/do-not-use be safely deleted?

Subject: Re: [boost] [GitHub] Can boostorg/do-not-use be safely deleted?
From: Roland Bock (rbock_at_[hidden])
Date: 2017-07-31 07:32:10

On 2017-07-29 21:47, Gottlob Frege via Boost wrote:
> On Sat, Jul 29, 2017 at 1:02 PM, Steven Watanabe via Boost
> <boost_at_[hidden]> wrote:
>> AMDG
>>
>> 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
> can disappear.
> 
> https://en.wikipedia.org/wiki/Unexpected_hanging_paradox
> 
> 
> Tony

ROFL

But then again, Louis just asked about it. Not sure if that counts as
giving notice :-)