[kaedroho]

Does this account for projects that merge commits outside of the GitHub interface?

NodeJS use a bot that manually merges the commits but closes the PRs: https://github.com/nodejs/node/pull/36661

[gieksosz]

Sadly I cannot account for this .. In theory I could check if the commits/or just head commit from PR founds its way into the main/master tree. But for now it just checks the status of the PR.