chore(linux): Ignore existing PRs
Don't try (and fail) to create the PR if it already exists. Instead simply skip this step because the PR will already be updated by the `git push`.
parent
55f2dbfc
Please register or sign in to comment
Don't try (and fail) to create the PR if it already exists. Instead simply skip this step because the PR will already be updated by the `git push`.