another additional check if an upstream PR has been merged
Merge pull request #11 from istudens/master

another additional check if an upstream PR has been merged