pull request was merged