This message was deleted.

Believe me, we want this too! We've been working super hard on infrastructure that allows this to be possible — calculating this for every PR in your inbox at once is non-trivial