For me, grouping by repo was useful because I don't care about every repo equally: some produce few notifications but are extremely important, while other repos

For me, grouping by repo was useful because I don't care about every repo equally: some produce few notifications but are extremely important, while other repos (that happen to produce a lot of notifications) aren't that important.