Skip to content

introduce zizmor, simplify sync_steering_members - #422

Merged
pavelzw merged 5 commits into
mainfrom
zizmor
Jul 27, 2026
Merged

introduce zizmor, simplify sync_steering_members#422
pavelzw merged 5 commits into
mainfrom
zizmor

Conversation

@pavelzw

@pavelzw pavelzw commented Jul 24, 2026

Copy link
Copy Markdown
Member

Description

follow-up of #380

Comment thread .github/workflows/check-teams.yml Outdated
Comment thread .github/workflows/_sync-steering-members.yml Outdated
Comment thread pixi.lock
@pavelzw
pavelzw marked this pull request as ready for review July 24, 2026 13:57
@pavelzw
pavelzw requested a review from a team as a code owner July 24, 2026 13:57
@pavelzw
pavelzw requested a review from jaimergp July 24, 2026 14:19
Comment thread .pre-commit-config.yaml
Comment thread .github/ISSUE_TEMPLATE/graduation_request.yml
@pavelzw pavelzw changed the title introduce zizmor introduce zizmor, rework check-steering-members.yml Jul 24, 2026
@pavelzw pavelzw changed the title introduce zizmor, rework check-steering-members.yml introduce zizmor, simplify sync_steering_members Jul 24, 2026
@pavelzw
pavelzw merged commit 26509a7 into main Jul 27, 2026
2 checks passed
@pavelzw
pavelzw deleted the zizmor branch July 27, 2026 09:36
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