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

Merge back release branch changes to main #592

Merged
merged 4 commits into from
Jul 6, 2022
Merged

Merge back release branch changes to main #592

merged 4 commits into from
Jul 6, 2022

Conversation

mkundu1
Copy link
Contributor

@mkundu1 mkundu1 commented Jul 6, 2022

To merge after release..

mkundu1 and others added 4 commits July 5, 2022 18:47
* Clean out previously generated settings modules

* Adding some more user guide examples

* Adding some more user guide examples.

Co-authored-by: Dan Williams <[email protected]>
* Clean out previously generated settings modules

* Tidy up main doc landing page.

Co-authored-by: Dan Williams <[email protected]>
@mkundu1 mkundu1 changed the title Release/0.10 Merge back release branch changes to main Jul 6, 2022
Copy link
Collaborator

@dnwillia-work dnwillia-work left a comment

Choose a reason for hiding this comment

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

I think some of these you already ported over from main to release/0.10 right?

@mkundu1
Copy link
Contributor Author

mkundu1 commented Jul 6, 2022

I think some of these you already ported over from main to release/0.10 right?

Yeah, some of these should already be in main.

@mkundu1 mkundu1 merged commit ea861f8 into main Jul 6, 2022
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.

5 participants