Our pull request was merged.