Skip to content

chore: fix missing release of v1.13.2 - #83

Merged
aj3sh merged 1 commit into
mainfrom
release/v1.13.3
Jan 11, 2026
Merged

chore: fix missing release of v1.13.2#83
aj3sh merged 1 commit into
mainfrom
release/v1.13.3

Conversation

@aj3sh

@aj3sh aj3sh commented Jan 11, 2026

Copy link
Copy Markdown
Member

Release-As: 1.13.3

@aj3sh
aj3sh merged commit adefded into main Jan 11, 2026
2 checks passed
@aj3sh
aj3sh deleted the release/v1.13.3 branch January 11, 2026 13:03
@github-actions github-actions Bot mentioned this pull request Jan 11, 2026
@Mulugruntz

Copy link
Copy Markdown

Hi @aj3sh !
So, we jumped directly from 1.3 to 1.13? 😬

Note that Release Please can be used in a more automated way, so that you don't need to tell it which version needs to be released. It'll do the bumps automatically according to rules you pre-setup. That prevents this type of typos.

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.

2 participants