On Mon, 2019-06-17 at 14:02 -0700, Kevin Fenzi wrote:
Can you clarify what repo you mean here? https://pagure.io/fedora-infrastructure/issues ? Or ?
Yep, that's the one! The Pagure bug has made it hard to follow that repo even during normal working schedule, as there are a lot of issues filed that I cannot do anything about. But I usually do watch it because there's no other way to know if people @bowlofeggs me. However, I know I can't look at 9 weeks of e-mails from it in case someone mentioned me, so I'm just sending a heads up that you can't mention me there.