check whether PR has been really merged