Skip to content

chore: ignore local branch-protection json helpers#9

Merged
nicholaskarlson merged 1 commit intomainfrom
chore/ignore-protection-json
Nov 5, 2025
Merged

chore: ignore local branch-protection json helpers#9
nicholaskarlson merged 1 commit intomainfrom
chore/ignore-protection-json

Conversation

@nicholaskarlson
Copy link
Member

No description provided.

@nicholaskarlson nicholaskarlson merged commit b142f3b into main Nov 5, 2025
@nicholaskarlson nicholaskarlson deleted the chore/ignore-protection-json branch November 5, 2025 22:17
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