PR not merging, days after passing checks
liyishuai opened this issue · comments
Scenario: liyishuai/RSSHub#211
Expectation: Merge pull request after successful checks.
Observation: PR remains open.
And merged after manually approving... Maybe worth documenting it somewhere?
Hello, thanks for opening the issue. Did you set up branch protection rules to require a approve before merging PRs to the branch?
No branch protection rules. liyishuai/RSSHub#210 and liyishuai/RSSHub#212 were merged without my interference.
When there is a huge number of changes, GitHub takes a while to calculate the mergability of the PR. Pull bot will wait a bit but will give up and retry after a few hours if GitHub takes too long. Hope it helps!