Skip to content

Fix: Approve bot PRs before enabling auto-merge#10

Merged
alexdewar merged 1 commit intomainfrom
fix_automerge
Jul 18, 2024

Commits

Commits on Jul 16, 2024