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.
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.