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

Subject: Re: [boost] [GitHub] Can boostorg/do-not-use be safely deleted?
From: Zach Laine (whatwasthataddress_at_[hidden])
Date: 2017-07-29 16:48:11

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.

Zach