Subject: Re: [boost] [GitHub] Can boostorg/do-not-use be safely deleted?
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2017-07-29 17:02:48
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