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
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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk