| 16:49 | <shu> | how did we land https://github.com/tc39/Reflector/issues/535? |
| 16:55 | <Michael Ficarra> | I dunno, there's no associated PR: https://github.com/tc39/ecma262/commit/4cb5a6980e20be76c648f113c4cc762342172df3 |
| 16:57 | <bakkot> | IIRC chris pushed the "merge" button on the PR in the private security temp repo |
| 16:57 | <bakkot> | which deleted the entire repo |
| 16:57 | <bakkot> | which is a dumb way for it to work |
| 16:58 | <Michael Ficarra> | lol that is definitely a dumb way for it to work |
| 17:17 | <Chris de Almeida> | that's not how it merged -- though it did appear that way, confusingly |
| 17:17 | <Chris de Almeida> | publishing the advisory is what deletes the private fork, not the merging of PRs |
| 17:19 | <Chris de Almeida> | Jordan merged at command line |