Stream: general

Topic: Issues are being rage closed again?


nagisa (Oct 19 2018 at 19:28, on Zulip):

Have #38270, #38762, #45767 been closed out of some sort of rage again?

nagisa (Oct 19 2018 at 19:28, on Zulip):

Does anybody know what happened?

davidtwco (Oct 19 2018 at 20:41, on Zulip):

Is that last link correct? It’s going to a merged rustdoc PR for me.

DPC (Oct 19 2018 at 20:43, on Zulip):

the same author closed the first 2 issues they wrote - probably realises it may not be a bug

nagisa (Oct 19 2018 at 21:20, on Zulip):

https://github.com/rust-lang/rust/issues/45676 is the last one

nagisa (Oct 19 2018 at 21:22, on Zulip):

well, since @pnkfelix locked the issues I presume my guess was right

nagisa (Oct 19 2018 at 21:22, on Zulip):

/me shrugs

DPC (Oct 20 2018 at 12:36, on Zulip):

strange. that user is often helpful on irc

Nicole Mazzuca (Oct 21 2018 at 06:03, on Zulip):

What's going on? These are still issues...

Nicole Mazzuca (Oct 21 2018 at 15:32, on Zulip):

Should I open new issues for these? They're kind of necessary... @pnkfelix

pnkfelix (Oct 21 2018 at 15:59, on Zulip):

@Nicole Mazzuca feel free to open fresh issues for the ones I locked in response to the ragequit

Nicole Mazzuca (Oct 21 2018 at 16:00, on Zulip):

cool, thanks

nagisa (Oct 21 2018 at 16:18, on Zulip):

NB: you can see most of the closed issues at https://api.github.com/users/est31/events I think.

Pietro Albini (Oct 21 2018 at 16:20, on Zulip):

...did they just close all their issues?...

nagisa (Oct 21 2018 at 16:22, on Zulip):

Seems so, but there weren’t that many issues closed according to the API.

davidtwco (Oct 21 2018 at 16:23, on Zulip):

I count 19 from this GitHub search.

Pietro Albini (Oct 21 2018 at 16:24, on Zulip):

they even closed tracking issues :/

Pietro Albini (Oct 21 2018 at 16:25, on Zulip):

and https://github.com/rust-lang/rust/issues/41620 is linked from an error message :/

Pietro Albini (Oct 21 2018 at 16:27, on Zulip):

@pnkfelix we should at least reopen that one I linked, and if we reopen that we can just reopen all of them

Charles Lew (Oct 26 2018 at 02:22, on Zulip):

I've read this before:
https://gist.github.com/est31/de7f851ec80576d5cf7bccac3962aed7

Last update: Nov 20 2019 at 11:30UTC