If several bots fight for attention in your GitHub pull requests, this will hide old bot comments visually in your timeline.
