When a pull request has been accepted into merge queue