Given the context, I had to read this twice to understand that PR is not referring to Pull Request here.