Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Meeting 2021-09-29 patches #264

Merged
merged 1 commit into from
Sep 29, 2021
Merged

Meeting 2021-09-29 patches #264

merged 1 commit into from
Sep 29, 2021

Conversation

bblfish
Copy link
Member

@bblfish bblfish commented Sep 29, 2021

The content was pushed straight to the repo. But I thought I'd PR improvements here.

@csarven csarven merged commit 3c3347e into main Sep 29, 2021
@csarven csarven deleted the patch-meeting-2021-09-29 branch September 29, 2021 17:34
@csarven
Copy link
Member

csarven commented Sep 29, 2021

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.

@bblfish
Copy link
Member Author

bblfish commented Oct 8, 2021

I disagree: nothing should be pushed to main without review.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants