Is automerge working?
paddyroddy opened this issue · comments
I know this has been asked before, but 2 years ago. I've noticed that PRs are being opened paddyroddy/github-readme-stats#9, not being merged. I have the following config https://github.com/paddyroddy/github-readme-stats/blob/main/.github/pull.yml, no branch protection rules, and have the following pull request settings
Looks like it just merged. Is a 3 hour delay expected?
This one opened 12 hours ago paddyroddy/github-readme-stats#10 and hasn't merged yet
Just merged!
I just had another one that was almost instant, so maybe this is solved?
Hello @paddyroddy the time to merge depends on how long it takes GitHub to mark the PR as mergable. Pull waits and checks after a few seconds to merge or moving on depending on the flag.
When pull comes back to your repo after a few hours, it will be merged automatically if GitHub is returning mergeable true.
Hope it helps!