Skip to content

Conversation

jmtd
Copy link
Member

@jmtd jmtd commented Aug 28, 2025

A quality-of-life action for managing PRs. If it works :)

@jmtd
Copy link
Member Author

jmtd commented Aug 28, 2025

closing: will push a branch to this repo so we don't have to manage cross-repo permissions

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