Skip to content

ci: add dgb/pool-pillars-port to PR branch filters (symmetry) - #102

Closed
frstrtr wants to merge 1 commit into
masterfrom
ci-steward/dgb-master-filter-symmetry
Closed

ci: add dgb/pool-pillars-port to PR branch filters (symmetry)#102
frstrtr wants to merge 1 commit into
masterfrom
ci-steward/dgb-master-filter-symmetry

Conversation

@frstrtr

@frstrtr frstrtr commented Jun 16, 2026

Copy link
Copy Markdown
Owner

Additive-only: appends dgb/pool-pillars-port to the pull_request.branches allow-list in build.yml and coin-matrix.yml, mirroring the existing btc-embedded and dash-spv-embedded entries already on master.

Why: btc-embedded and dash-spv-embedded are on master for symmetry; leaving dgb out makes the canonical filter list inconsistent and invites the next contributor to hit the ZERO-CI footgun before their branch merges up. Redundant once pool-pillars-port lands, but the consistency is cheap (two filter lines, no job/behavior change).

Scope: 2 lines, both pull_request.branches only. No push-trigger or job changes.

Merge-gated: holding for operator push-approval per standing rule.

Mirror the canonical pull_request.branches allow-list on master so the
dgb pool-pillars-port arc gets CI on PRs into it, matching the existing
btc-embedded and dash-spv-embedded entries. Additive only: two filter
lines in build.yml and coin-matrix.yml, no job or behavior change.
Redundant once pool-pillars-port merges up; keeps the list consistent
and avoids the ZERO-CI footgun for the next contributor.
@frstrtr

frstrtr commented Jun 16, 2026

Copy link
Copy Markdown
Owner Author

Closing as duplicate of #101. Dedup-check (ci-steward + integrator independent diff verify): #101 adds dgb/pool-pillars-port to BOTH push: and pull_request: branch lists in build.yml + coin-matrix.yml; #102 touches only the pull_request: line — a strict subset, byte-identical to lines #101 already adds. Goal fully met by #101. [merge: #101, close #102 as dup], operator pre-approved dedup-then-merge.

@frstrtr frstrtr closed this Jun 16, 2026
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