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 j

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.