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

2023.11.2 #928

Merged
merged 1 commit into from
Nov 23, 2023
Merged

2023.11.2 #928

merged 1 commit into from
Nov 23, 2023

Conversation

gabiborlea
Copy link
Contributor

No description provided.

@gabiborlea gabiborlea merged commit 22adc4b into master Nov 23, 2023
3 checks passed
@gabiborlea gabiborlea deleted the release-2023-11-2 branch November 23, 2023 15:26
@p-schneider
Copy link

p-schneider commented Nov 23, 2023

v2023.11.2 is tagged at f8ee5c7 but the master branch is at commit 22adc4b (2 different commit hashes, but with the same content, same parent and the same commit message).
Is that on purpose or by accident?

@gabiborlea
Copy link
Contributor Author

I created the release from the PR branch, maybe that's why, not on purpose, just my first releases here :)

@csett86
Copy link
Member

csett86 commented Nov 23, 2023

The README of this project has a section on how to release (within the development instructions)

@gabiborlea
Copy link
Contributor Author

Eventually followed them, thank you!

@csett86
Copy link
Member

csett86 commented Nov 23, 2023

Sorry that its a bit of a manual and not so intuitive way to release at the moment, I never got around to wrap parts of it into some github action so that it would be easier and more intuitive...

@saghul
Copy link
Member

saghul commented Nov 23, 2023

No worries at all, thanks for all the automation work you've already done!

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.

4 participants