Totally agree. The PullRequest events have stale data regarding the status of the pull request. I think it's capturing the status at the time the event occurs.

I was considering firing off requests to find out the latest status of PullRequests and indicating that in the design. e.g. When pull requests were merged in and closed.