chdsbd / kodiak

🔮 A bot to automatically update and merge GitHub PRs

Home Page:https://kodiakhq.com

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

kodiak closed a PR without reason?

staabm opened this issue · comments

in one of our url repositories we have a draft PR in which development is still ongoing.
https://github.com/complex-gmbh/php-clx-symplify/pull/64

grafik

kodiak closed this PR, and I don't see a reason why this happend.

I wonder if Kodiak evaluated PR 58 and deleted the branch because it's the same name as used by that PR (clxmstaab-patch-2).

(edit: this shouldn't really happen because we do an API check for dependent PRs, but the GitHub API is kind of eventually consistent

pr_count = await api.pull_requests_for_ref(ref=pull_request.headRefName)
# if we couldn't access the dependent PR count or we have dependent PRs

)

One workaround could be to use GitHub's built in "delete branch on merge" setting.