03:23 | <bakkot_> | is github deleting PRs created by spam accounts? |
03:23 | <bakkot_> | https://github.com/tc39/ecma262/pull/1609 vanished |
03:24 | <bakkot_> | it was a automated-looking dupe of a real PR, but unfortunately it had some real discussion which also got nuked |
05:15 | <ljharb> | bakkot_: yes, when an account gets effectively klined, its PRs and issues vanish |
05:16 | <ljharb> | looks like PR 1609 was the same sha as PR 1507 |
05:17 | <bakkot_> | https://github.com/tc39/ecma262/pull/1228 was the root |
05:18 | <ljharb> | aha |
15:18 | <devsnek> | this kflash fellow has made like 5 ecmascript parsers |
15:20 | <devsnek> | eacaya, meriyah, seafox, buntis |
16:59 | <bakkot_> | second one's a lot easier than the first |