| 14:54 | <Michael Ficarra> | reminder: editor call in 5 minutes |
| 15:11 | <nicolo-ribaudo> | ljharb I was wondering, would it be possible to create a GitHub action that merges PRs "the right way"? So that for those that do not have conflicts, the "ready to merge" label could work automatically without you having to do it manually |
| 15:35 | <bakkot> | https://github.com/tc39/ecma262/pull/1799 |
| 16:05 | <linus> | I added editor call to https://github.com/tc39/ecma262/pull/3893 just before the meeting, nothing to discuss other than asking for thoughts and/or reviews |
| 16:37 | <Michael Ficarra> | @Richard Gibson I want to make an ecmarkup release pretty soon after the pins bugfix makes it in, so if you also want https://github.com/tc39/ecmarkup/pull/694 to be included, you should remember to update it. |
| 19:13 | <Michael Ficarra> | also rebase so it hides all those baseline changes from the diff |
| 19:14 | <Richard Gibson> | ok. I'm reviewing the pins PR now |
| 19:59 | <Richard Gibson> | review submitted; if the release can wait for tomorrow I think https://github.com/tc39/ecmarkup/pull/694 will be ready |
| 20:05 | <Michael Ficarra> | cool, thanks |
| 20:06 | <Michael Ficarra> | I'll do it early next week then |