Skip to content

Only open a PR if one doesn't already exist#39

Merged
jhrozek merged 1 commit intostacklok:mainfrom jhrozek:pr_check_only_openJun 19, 2024

Commits

Commits on Jun 19, 2024