Skip to content

chore: back-merge main into develop - #15

Merged
lorem-dev merged 2 commits into
developfrom
main
Aug 17, 2026
Merged

chore: back-merge main into develop#15
lorem-dev merged 2 commits into
developfrom
main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated back-merge of main into develop.

Latest commit on main: 783adaf -- Merge pull request #14 from lorem-dev/develop

Opened by Back-merge main -> develop, run 32002563989.

Merge this (or turn on auto-merge) to keep develop in step with
main. Resolve any conflicts here rather than on develop.

lorem-dev and others added 2 commits August 17, 2026 08:39
A tag is a claim about a commit, and nothing verified the claim before the
build acted on it. v1.1.0 was pushed at a 1.0.0 tree -- the release pull
request was still open -- and the image job published that build under
1.1.0-alpine, 1.1-alpine and 1-alpine, and rewrote the Docker Hub overview to
name it. The release notes step caught it twenty minutes later, after the
damage was on the hub.

The new `verify` job checks the three things a release cannot be wrong about
before anything is built: the workspace version equals the tag, CHANGES.md has
a non-empty section for it, and a final tag is on `main`. Every other job
descends from `frontend`, so gating that one gates all of them.

The branch rule was already documented in CONTRIBUTING.md and AGENTS.md as
something this workflow enforced. It was not. Now it is.
@lorem-dev
lorem-dev merged commit f00c326 into develop Aug 17, 2026
17 of 18 checks passed
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