4 ms·
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:
by kaedroho 6y ago
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 https://github.com/nodejs/node/pull/36661
- gieksosz 6y agoSadly 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.