github / github/combine-prs

PRs left uncombined despite no merge conflicts

Open
#31 0 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
JavaScript
Stars
153
Forks
10
PR merge metrics
No merged PRs in 30d

Description

Occasionally (and lately, near consistently), I am seeing combine-prs claiming that some PRs were left out due to merge conflicts. Investigating the relevant PRs, I see no reason they would be in conflict. Out of curiosity, I deleted the PR and branch and re-ran the combine-prs action, and it results in a clean combine-prs PR, including the previously-excluded PRs.

I have not verified, but this makes me wonder if it's a timing-related issue between when e.g. dependabot creates PRs and a subsequent combine-prs scheduled run attempts to combine them.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.