This message was deleted.

cc @Tomas Reimers

Hmmm, where would you like to see these PRs? The inbox? Notifs? Slack?

For those that use slack I reckon that would be a useful place as well, but that is not an option available in this case. I was hoping to be able to see them in the inbox.