I don't think asking for a new mailing list for GitHub notifications is unreasonable. In fact, I would go as far to say that having a GitHub notifications mailing list makes more sense than having those notifications being sent to the "dev" mailing list. Shouldn't the dev mailing list be used for discussion about the development rather than individual PRs? Those discussions can still be had on the other mailining list, if so desired.
-- Best regards, Brian T B.S. Computer Science 2014 (Truman State University) Minor Stasitics Minor Chemistry Minor Mathematics
signature.asc
Description: PGP signature
