chore(release): realign develop with main after the #673 promotion - #674
Closed
beyondnetPeru wants to merge 1 commit into
Closed
chore(release): realign develop with main after the #673 promotion#674beyondnetPeru wants to merge 1 commit into
beyondnetPeru wants to merge 1 commit into
Conversation
chore(release): promote develop to main — repair the agent-runtime image build main could not build the agent-runtime image: the OPA download used BusyBox wget, which exits 0 without writing the file when the URL redirects to another host. Replaced with curl -fsSL plus test -s, verified by building the image — opa reports Version 1.19.0 from an ELF binary.
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
📊 Bilingual Coverage ImpactPR Changes
Repository Coverage
✅ Good: All EN changes have ES counterparts. Generated by GitHub Actions |
4 tasks
Contributor
Author
|
Superseded by #677: the promotion from develop carries the real fix for the agent-runtime image build ( The red |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Pull Request Summary
Sync-back after the #673 promotion. Zero file changes —
git diff develop..mainis empty. The single commit is the merge node GitHub created onmainwhen #673 landed.Without it,
developsits one commit behindmainand every branch cut from it starts behind too. This is phase 2 of thepre-pushrelease macro, done as a PR becausedevelopis protected — the same step as #671 and asdb596547before it.With this merged, both branches of this repository converge and the BeyondNetCode organisation is fully in sync:
beyondnetcode/umsalready hasmainanddevelopon the same commit, with no divergence in either direction.Before you submit
db596547.Linked ADRs / Issues
db596547after chore(repo): pin Node at the root, and drop a Sponsor button that leads nowhere #637What the reviewer should know
Nothing here changes a line, so any red check belongs to the branch state rather than to this change — the case the PR template calls "ours, not yours".
One thing worth noting for the next cycle: this is the third realignment PR in a row, because every promotion leaves
developone merge node behind. Thepre-pushmacro was written to do both phases in one go, but branch protection ondevelopandmainmeans the push path it takes cannot apply here. Either the macro learns to open PRs, or these follow-ups stay manual — worth choosing on purpose.🤖 Generated with Claude Code