Skip to content

In sync tool, fix "existing PR" query: consider repository name#127

Merged
dagood merged 1 commit intomainfrom dev/dagood/fix-existing-pr-queryJun 19, 2024

Commits

Commits on Jun 19, 2024