Dongsu Park 66920fda77 .github: do not create a pull request when branch exists ...

If git show-ref returns an error, i.e. the branch already exists,
then we should not create a pull request, but simply return error.
Otherwise, the Github Actions would always try to create pull
requests even when the branch still exists.

2022-09-15 11:23:10 +02:00

..

src/third_party/coreos-overlay

.github: do not create a pull request when branch exists

2022-09-15 11:23:10 +02:00