ARIA editors meeting agenda 2023-11-13

Hi everyone,

Unfortunately, I won't be able to make it this time.

A few agenda items for the next meeting in any case:

* [new] automation and synonyms (via aria#2073
<https://github.com/w3c/aria/issues/2073>)
* [continue] PR/Merge process - next steps after deep dive?
* [continue] roll out prettier setup - tracked via aria-common#99
<https://github.com/w3c/aria-common/issues/99>
  - who can review SVG-aam PR?
* [continue] retiring contributors.md across specs - tracked via
aria-common#103 <https://github.com/w3c/aria-common/issues/103>)
* [on Hold] spec markup for advice for AT (jnurthen)

If you want to add an issue or PR, please add the label  "Agenda-Editors"
(or ping me).
Here's a link to search our repos for such issues
<https://github.com/search?q=is%3Aopen+label%3AAgenda-Editors+repo%3Aw3c%2Faria+repo%3Aw3c%2Faccname+repo%3Aw3c%2Fcore-aam+repo%3Aw3c%2Fhtml-aam+repo%3Aw3c%2Fdpub-aam+repo%3Aw3c%2Fdpub-aria+repo%3Agraphics-aria%2F&type=issues&s=updated&o=desc>
.

Have a good weekend,
Peter.