Skip to content

Thank you Doctor Zizmor! - #185

Merged
hynek merged 1 commit into
mainfrom
zizmor
Oct 31, 2024
Merged

Thank you Doctor Zizmor!#185
hynek merged 1 commit into
mainfrom
zizmor

Conversation

@hynek

@hynek hynek commented Oct 31, 2024

Copy link
Copy Markdown
Owner

No description provided.

@hynek
hynek force-pushed the zizmor branch 3 times, most recently from 0777285 to 31a2622 Compare October 31, 2024 14:55
@hynek
hynek merged commit af1f60b into main Oct 31, 2024
@hynek
hynek deleted the zizmor branch October 31, 2024 15:08
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