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?