Skip to content

chore(release): 1.0.1-unstable.20260821055855 - #819

Closed
github-actions[bot] wants to merge 1 commit into
developmentfrom
release/v1.0.1-unstable.20260821055855
Closed

chore(release): 1.0.1-unstable.20260821055855#819
github-actions[bot] wants to merge 1 commit into
developmentfrom
release/v1.0.1-unstable.20260821055855

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Version bump for 1.0.1-unstable.20260821055855, opened by the release workflow.

The tag v1.0.1-unstable.20260821055855 already names this commit, so the released
package and its label agree. Merging this brings development up
to the released version.

Raised as a pull request rather than pushed directly because
development requires one; a direct push is rejected with GH013
and takes the release down with it.

@rubenvdlinde

Copy link
Copy Markdown
Contributor

Closing as superseded — an automated version-bump PR (appinfo/info.xml only) with a newer one already open for this repo. Merging an older bump would move the declared version backwards relative to the newest tag. The tag is unaffected; tags are independent refs.

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