Skip to content

chore: drop master from CI branch filters - #22

Merged
jcant0n merged 1 commit into
mainfrom
chore/drop-master-branch-filter
Aug 1, 2026
Merged

chore: drop master from CI branch filters#22
jcant0n merged 1 commit into
mainfrom
chore/drop-master-branch-filter

Conversation

@jcant0n

@jcant0n jcant0n commented Aug 1, 2026

Copy link
Copy Markdown
Member

Limpieza final del rename mastermain.

El filtro dual [ "main", "master" ] existía solo para que no hubiera ventana sin CI durante el rename. La rama master ya no existe, así que se queda en [ "main" ].

Los guards de CD y Sync standards no se tocan: ya usan github.event.repository.default_branch y son inmunes a futuros renames.

🤖 Generated with Claude Code

The rename to main is done and verified, so the transitional dual-branch
filter is no longer needed.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@jcant0n
jcant0n merged commit 0875f80 into main Aug 1, 2026
1 check passed
@jcant0n
jcant0n deleted the chore/drop-master-branch-filter branch August 1, 2026 12:30
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