Skip to content

chore(release): merge main into development for 4.3.1 - #1137

Merged
JoaoGSP merged 4 commits into
developmentfrom
chore/backmerge-main-4.3.1
Sep 23, 2026
Merged

JoaoGSP merged 4 commits into
developmentfrom
chore/backmerge-main-4.3.1

Conversation

@JoaoGSP

@JoaoGSP JoaoGSP commented Sep 23, 2026 •

Copy link
Copy Markdown
Member

Summary

Merge main into development so the 4.3.1 promotion PR is up to date with main (strict status checks block it as BEHIND).

The commits main has that development lacks are only the earlier release merge commits. The resulting tree is byte-identical to development: no file changes.

Mirror of https://github.com/Autonomy-Logic/openplc-web/pull/779
Unblocks #1136

Ticket

No card (release housekeeping).

How it was tested

  • git diff development...main is empty
  • merge result tree equals origin/development^{tree}

🤖 Generated with Claude Code

https://claude.ai/code/session_014wZXUSYRgVbkM7xyDu8e2U

@JoaoGSP
JoaoGSP merged commit ca13b72 into development Sep 23, 2026
12 checks passed
@JoaoGSP
JoaoGSP deleted the chore/backmerge-main-4.3.1 branch September 23, 2026 14:55
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.

3 participants