| 01:07 | <jmdyck> | nicolo-ribaudo: When you merged #3193, you didn't append the PR number to the commit messages. |
| 08:13 | <nicolo-ribaudo> | Yeah I noticed, but force-pushing to fix it up would have been too destructive. GitHub links to the PR when you open the commit anyway |
| 08:13 | <nicolo-ribaudo> | I added at the top of "ecma262 priorities" all the PRs that are on the path to temporal, if you are looking for something to review consider starting from there |
| 13:52 | <Michael Ficarra> | it looks like we have an editor call on the TC39 calendar for today |
| 13:52 | <Michael Ficarra> | reminder: we are no longer doing Monday editor calls |
| 16:50 | <jmdyck> |
|
| 16:50 | <jmdyck> | Okay, not so bad then. |
| 20:33 | <Richard Gibson> | it seems to be part of an "every 4 weeks" series; should we just delete them all? |
| 20:50 | <Michael Ficarra> | yes, we used to have them so Shu could make it |