Stefan Sperling wrote on Tue, 10 Oct 2017 23:44 +0200: > Couldn't some automated process mail PRs from github as (--git) diffs to dev@?
Moreover, if the submitter's commits have a valid email address on them (and the domain doesn't use strict SPF records), that automated process can even set the "From:" header to the submitter's from address, so replies go to him via email directly. But the thing is, github _already_ has a bidirectional email gateway for PRs, it's part of their service. And it works even for people who don't use a valid email address on commits. Maybe we can reuse that somehow?
