Closed bblfish closed 3 years ago
Reviewed. Okay to merge.
No need to PR the initial commit. It is as is. Any changes to the minutes should be rare and minor / basic corrections in following commits or PRs (like this one). It is not perfect but it takes up a lot of time/energy to disseminate the minutes/information in its final form, referring to it etc (e.g., other panels can refer to it). People want to read the minutes sooner than later e.g., if someone misses the meeting, they don't need to hunt through open PRs to find out what happened... and it certainly delays things to review, next steps, or even whether to attend the next meeting or not.
We can improve on scribing if there is something lacking.
I disagree: nothing should be pushed to main without review.
The content was pushed straight to the repo. But I thought I'd PR improvements here.