Skip to content
This repository was archived by the owner on Aug 17, 2026. It is now read-only.

chore: drop origin/develop; CI gates main only - #23

Merged
joeshull merged 1 commit into
mainfrom
chore/drop-origin-develop
Jul 17, 2026
Merged

chore: drop origin/develop; CI gates main only#23
joeshull merged 1 commit into
mainfrom
chore/drop-origin-develop

Conversation

@joeshull

Copy link
Copy Markdown

Summary

  • Deleted remote origin/develop (ZGE mirror). Upstream tracking stays BlackBelt upstream/develop.
  • ci-zge triggers: main only (required check on branch protection).
  • Removed scripts/upstream-sync.sh ff-develop and doc references to a develop mirror.

Test plan

  • git ls-remote shows no develop
  • main protection requires zge-gates strict
  • zge-gates green on this PR

Delete ZGE develop branch (upstream remains BlackBelt develop).
ci-zge runs on main only; remove ff-develop helper.
@joeshull
joeshull merged commit 8d0334d into main Jul 17, 2026
1 check passed
@joeshull
joeshull deleted the chore/drop-origin-develop branch July 17, 2026 01:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant