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

Add minutes from NYC #105

Merged
merged 1 commit into from
Mar 7, 2023
Merged

Add minutes from NYC #105

merged 1 commit into from
Mar 7, 2023

Conversation

martinthomson
Copy link
Contributor

I needed to refer to these and thought it might be good to get them out of the Google doc.

I have not edited these other than to remove the cruft at the top and bottom. WYGIWYG. Once up, I suggest that people can open pull requests if they find something that is wrong (as in, not a faithful rendition of what happened during the meeting; clearly, some of the stuff that was said will prove to be wrong).

I needed to refer to these and thought it might be good to get them out
of the Google doc.

I have not edited these other than to remove the cruft at the top and
bottom.  WYGIWYG.  Once up, I suggest that people can open pull requests
if they find something that is wrong (as in, not a faithful rendition of
what happened during the meeting; clearly, some of the stuff that was
said will prove to be wrong).
Copy link

@alextcone alextcone left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for doing this @martinthomson.

@AramZS
Copy link
Contributor

AramZS commented Mar 7, 2023

Thanks!

@AramZS AramZS merged commit ad81b2b into patcg:main Mar 7, 2023
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.

3 participants