| 19:40 | <bakkot> | so I don't think it's anyone's specific job to merge the notes PRs to https://github.com/tc39/notes/pulls that Aki opens |
| 19:40 | <bakkot> | but it would be good to get those merged |
| 19:40 | <bakkot> | can we just auto-merge those after a couple of weeks? |
| 19:40 | <Aki> | Chairs |
| 19:41 | <bakkot> | ok cc chairs |