Skip to content

Conversation

@mceachen
Copy link
Member

@mceachen mceachen commented Apr 19, 2023

@JoshuaWise this fixes a bad merge (which GHA didn't seem to highlight as broken?) from PR #989. GHA is broken until this gets merged.

@m4heshd if you want to clone this PR (by pulling my branch and re-submitting it), I can approve and merge it (I can't self-approve PRs in this project)

Apologies for the hassle!

@mceachen mceachen requested review from a team and JoshuaWise as code owners April 19, 2023 01:06
@mceachen mceachen closed this Apr 19, 2023
@mceachen mceachen deleted the fix-broken-989 branch June 11, 2024 22:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant