Let people know about the PR merge