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

Release 1.7.0 to develop #1454

Merged
merged 6 commits into from
Nov 10, 2023
Merged

Release 1.7.0 to develop #1454

merged 6 commits into from
Nov 10, 2023

Conversation

tcojean
Copy link
Member

@tcojean tcojean commented Nov 10, 2023

Release 1.7.0 and update the Changelog.

See #1451

@ginkgo-bot ginkgo-bot added reg:documentation This is related to documentation. mod:core This is related to the core module. labels Nov 10, 2023
tcojean and others added 6 commits November 10, 2023 14:18
Co-authored-by: Pratik Nayak <pratikvn@pm.me>
Signed-off-by: Terry Cojean <terry.cojean@kit.edu>
Signed-off-by: Terry Cojean <terry.cojean@kit.edu>
Co-authored-by: Tobias Ribizel <upsj@users.noreply.github.com>
Signed-off-by: Terry Cojean <terry.cojean@kit.edu>
Copy link
Member

@yhmtsai yhmtsai left a comment

Choose a reason for hiding this comment

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

need to provide the short description for the pr.

@upsj
Copy link
Member

upsj commented Nov 10, 2023

Should we also update the version to 1.8.0?

@tcojean tcojean added the 1:ST:no-changelog-entry Skip the wiki check for changelog update label Nov 10, 2023
@tcojean
Copy link
Member Author

tcojean commented Nov 10, 2023

Should we also update the version to 1.8.0?

I wanted to do that in another PR so that these two different things aren't merged together in the history. See #1455

@tcojean tcojean merged commit 86f5164 into develop Nov 10, 2023
11 of 15 checks passed
@tcojean tcojean deleted the release_1.7.0_dev branch November 10, 2023 19:36
@tcojean
Copy link
Member Author

tcojean commented Nov 10, 2023

It's only documentation changes, so I just merged.

@tcojean tcojean added the 1:ST:ready-to-merge This PR is ready to merge. label Nov 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1:ST:no-changelog-entry Skip the wiki check for changelog update 1:ST:ready-to-merge This PR is ready to merge. mod:core This is related to the core module. reg:documentation This is related to documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants