Skip to content

Sync dev with stable after the 1.0.0 merge - #5

Merged
pjhartlieb merged 1 commit into
devfrom
sync/stable-into-dev
Oct 29, 2026
Merged

pjhartlieb merged 1 commit into
devfrom
sync/stable-into-dev

Conversation

@pjhartlieb

Copy link
Copy Markdown
Contributor

Brings dev level with stable. 5c7ee0e7, the merge commit of #3, has no file changes. stable requires a PR branch to be up to date, and dev can't take a direct push, so the promotion PR needs this first.

@pjhartlieb
pjhartlieb merged commit ecc0111 into dev Oct 29, 2026
21 of 22 checks passed
@pjhartlieb pjhartlieb mentioned this pull request Oct 29, 2026
@pjhartlieb
pjhartlieb deleted the sync/stable-into-dev branch October 30, 2026 19:41

This branch had an error being deployed

1 failed deployment
release — 5c7ee0e7 Deployed Oct 29, 2026 by pjhartlieb via check / credentials #1
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.

1 participant