check whether PR has been really merged
Merge pull request #9 from istudens/master

check whether PR has been really merged