Merge pull request #9 from istudens/master

check whether PR has been really merged
checking if a PR has been merged by its closed state and comment 'merged'