Skip to content

Fix opal-plus sync: use mirror approach to avoid conflicts#893

Merged
EliMoshkovich merged 1 commit intomasterfrom
PER-14366-fix-opal-plus-sync-workflow-v3
Apr 6, 2026
Merged

Fix opal-plus sync: use mirror approach to avoid conflicts#893
EliMoshkovich merged 1 commit intomasterfrom
PER-14366-fix-opal-plus-sync-workflow-v3

Conversation

@EliMoshkovich
Copy link
Copy Markdown
Contributor

Summary

  • Switches from merge to mirror approach: public-master is reset to exactly match opal/master
  • The merge approach (from Fix opal-plus sync: add fetch-depth for full history #892) conflicts every time on on_release.yml and client.py because those files have opal-plus customizations
  • Mirror approach: no conflicts possible in CI, --force-with-lease push is safe since only CI writes to public-master
  • Removed unnecessary fetch-depth: 0 from opal checkout (not needed — we just reset to HEAD)
  • PR reviewer preserves opal-plus customizations (banner, Docker image names, CI) when merging

Test plan

  • Merge and verify the "Sync branch to OPAL Plus" workflow completes successfully
  • Verify a PR is created in opal-plus with the correct diff

🤖 Generated with Claude Code

The merge approach conflicts every time on files with opal-plus
customizations (on_release.yml, client.py). Instead, mirror
opal/master exactly onto public-master and let the PR reviewer
preserve opal-plus customizations during merge review.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@linear
Copy link
Copy Markdown

linear bot commented Apr 6, 2026

@netlify
Copy link
Copy Markdown

netlify bot commented Apr 6, 2026

Deploy Preview for opal-docs canceled.

Name Link
🔨 Latest commit bac7d2b
🔍 Latest deploy log https://app.netlify.com/projects/opal-docs/deploys/69d3d7dde4ba310008dd4689

@EliMoshkovich EliMoshkovich merged commit f976e00 into master Apr 6, 2026
11 of 12 checks passed
@EliMoshkovich EliMoshkovich deleted the PER-14366-fix-opal-plus-sync-workflow-v3 branch April 6, 2026 16:10
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.

2 participants