[GitHub] Can boostorg/do-not-use be safely deleted?
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. Louis -- View this message in context: http://boost.2283326.n4.nabble.com/GitHub-Can-boostorg-do-not-use-be-safely-... Sent from the Boost - Dev mailing list archive at Nabble.com.
On Sat, Jul 29, 2017 at 4:31 AM, Louis Dionne via Boost < boost@lists.boost.org> 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
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@lists.boost.org> 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
On Sat, Jul 29, 2017 at 1:02 PM, Steven Watanabe via Boost
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@lists.boost.org> 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
On 2017-07-29 21:47, Gottlob Frege via Boost wrote:
On Sat, Jul 29, 2017 at 1:02 PM, Steven Watanabe via Boost
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@lists.boost.org> 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 :-)
participants (5)
-
Gottlob Frege
-
Louis Dionne
-
Roland Bock
-
Steven Watanabe
-
Zach Laine