18:34 | <Michael Ficarra> | great, now the PR just unicorns: https://github.com/tc39/ecma262/pull/2819 |
18:34 | <Michael Ficarra> | this is a bit unfortunate, since we actually need to merge that PR at some point |
18:34 | <shu> | oh is that what "unicorning" means? |
18:35 | <shu> | i thought it was referring to having a billion views or something... |
18:35 | <Michael Ficarra> | no lol it means showing a literal unicorn |
18:36 | <Michael Ficarra> | bakkot's going to need to open another PR from that branch (can you even do that?) or contact GitHub support |
18:36 | <Michael Ficarra> | I guess you could push the commits from that branch onto a new branch, too |
18:41 | <bakkot> | it loads for me sometimes |
18:41 | <bakkot> | but yeah this is silly |
19:01 | <bakkot> | if I wrote a script which just repeatedly loaded that page do you figure the failure would eventually show up in their metrics enough for them to go fix it |
19:02 | <bakkot> | they've just fixed dependabot to sanitize mentions of this form but that won't remove the spam from the existing issue |
19:05 | <jugglinmike> | Write a script to replicate the problem in new issues |
19:07 | <nicolo-ribaudo> | How many hidden items does it have now? (It never loads for me) |
19:09 | <bakkot> | 6480 |
19:10 | <bakkot> | most recent from 34 minutes ago |
19:10 | <nicolo-ribaudo> | Ohh it stopped! It was at ~6400 hours ago |
21:54 | <snek> | i think it depends purely on the luck of it loading 6500 pr titles from the db within the valid request duration |
22:16 | <bakkot> | which is silly given that it hides all but a couple dozen of them |