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 v2.11.1 #621

Merged
merged 2 commits into from
Oct 21, 2024
Merged

Release v2.11.1 #621

merged 2 commits into from
Oct 21, 2024

Conversation

frouioui
Copy link
Member

This PR releases v2.11.1, the new release is tagged on c8272d7.

Signed-off-by: Florent Poinsard <[email protected]>
Signed-off-by: Florent Poinsard <[email protected]>
@frouioui
Copy link
Member Author

Since the first commit of this PR contains the v2.11.1 tag, let's not squash the PR when merging otherwise we lose some of the history for the tag.

@deepthi
Copy link
Collaborator

deepthi commented Oct 21, 2024

Since the first commit of this PR contains the v2.11.1 tag, let's not squash the PR when merging otherwise we lose some of the history for the tag.

We should really change the tooling to do two separate PRs. Otherwise the human element can always lead to problems. I have approved this PR given that 2.11.1 is already out (without merging this PR even), but can we please fix it before the next release?

@frouioui frouioui merged commit 940c6dd into release-2.11 Oct 21, 2024
12 checks passed
@frouioui frouioui deleted the release-2.11.1 branch October 21, 2024 15:45
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