Hi! I have filter for e-mail from JIRA (very useful, I can quick search issue there without visiting JIRA).
And I'm just deleting tons of e-mails from GitBox & about PRs. I don't know what for we need them? May by we try to move GitBox & PRs-related mails first and see how it goes? -- Alexey Kuznetsov