Workflow: Notification
Now let's think about the notification problem.
Theorem: most developers don't want to see unfiltered PRs.
-
If they did, the email notifications we currently have would
work.
So instead, let's go back to our manpage-based categorizations,
and think about allowing developers to 'subscribe' to ones of
interest.
-
This would mostly supplant the existing emailed reports.
-
Subscription could be a choice of daily/weekly/monthly.
-
Question: are the manpage-based categories too granular?
If so, how do we handle that?