Sounds like the PR already. If he has gotten nowhere, why release a PR stating that things are the same?