Outdated Pull Request decorations in GitHub

Hey there.

I think you might be referring to the same change as this user. Am I correct?