wei / pull

🤖 Keep your forks up-to-date via automated PRs

Home Page:https://github.com/apps/pull

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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!