You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: