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

Development Report - Chapter 6 of 2022 #333

Merged
merged 2 commits into from Aug 2, 2022
Merged

Development Report - Chapter 6 of 2022 #333

merged 2 commits into from Aug 2, 2022

Conversation

ancorgs
Copy link
Contributor

@ancorgs ancorgs commented Aug 2, 2022

For better review, check the rendered version (but first check the CI is green to verify that preview is really up-to-date).

@ancorgs ancorgs force-pushed the report202206 branch 2 times, most recently from 6ff198a to eecca71 Compare August 2, 2022 14:47
@ancorgs ancorgs marked this pull request as ready for review August 2, 2022 15:03
Copy link
Member

@lslezak lslezak left a comment

Choose a reason for hiding this comment

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

Great summary, thanks a lot! 👍

@ancorgs ancorgs merged commit 71f548c into master Aug 2, 2022
@ancorgs ancorgs deleted the report202206 branch August 2, 2022 15:28
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.

None yet

2 participants