Currently, we get the minutes after the meetings in links like https://www.w3.org/2022/09/26-wot-cg-minutes.html . This needs some post editing to make them look nice (remove draft, change names, etc.). We can write a github action that looks into our calendar for past events, deduce the link for the minutes and download the HTML file. Then, it can do some automatic fixes and submit a PR. The rest of the fixes can be done as edits on the PR.
Currently, we get the minutes after the meetings in links like https://www.w3.org/2022/09/26-wot-cg-minutes.html . This needs some post editing to make them look nice (remove draft, change names, etc.). We can write a github action that looks into our calendar for past events, deduce the link for the minutes and download the HTML file. Then, it can do some automatic fixes and submit a PR. The rest of the fixes can be done as edits on the PR.
After all, this needs to be sent to W3C.