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.

Sign up for GitHub

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

Jump to bottom

Revert to version 15.0 #387

Merged

pdeffebach merged 1 commit into master from 15_0_again

Mar 3, 2024

Collaborator

pdeffebach commented Mar 3, 2024

As detailed on Slack

I tried to release 0.15.0. But then unknowingly messed it up by commenting in the Registry PR
I realized there was a bug in the documentation. So I hastily released a 0.15.1 rather than perform some hack about documentation.
The 0.15.1 registry PR was blocked because I "skipped" 015.0.

This gives me an opening to avoid the 0.15.1 release at all. I'm just going to re-set the version to 0.15.0 and then register that version.


          revert to 15.0

ecebd51

pdeffebach merged commit 941775f into master

13 of 17 checks passed

pdeffebach deleted the 15_0_again branch

March 3, 2024 21:32

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet