Skip to content

chore: back-merge main into develop - #13

Merged
lorem-dev merged 4 commits into
developfrom
main
May 24, 2026
Merged

chore: back-merge main into develop#13
lorem-dev merged 4 commits into
developfrom
main

Conversation

@github-actions

Copy link
Copy Markdown

Automated back-merge of main into develop.

Latest commit on main: 6b0a069 - Merge pull request #11 from lorem-dev/develop

Triggered by push to main in workflow Back-merge main -> develop run 26371110386.

Merge this PR (or enable auto-merge on it) to keep develop in sync with the latest release commit on main. Resolve any conflicts manually before merging.

Note on GPG: the merge commit GitHub creates when you click "Merge pull request" is signed by web-flow. The locksmith make verify GPG gate already ignores web-flow merge commits, so this back-merge will not break verification on develop.

lorem-dev added 4 commits May 15, 2026 23:27
ci: add back-merge main -> develop workflow
fix(ci): pass PR body via heredoc + --body-file in backmerge workflow
@lorem-dev
lorem-dev merged commit e39a932 into develop May 24, 2026
4 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