[svn.haxx.se] · SVN Dev · SVN Users · SVN Org · TSVN Dev · TSVN Users · Subclipse Dev · Subclipse Users · this month's index

Re: How to manage PR's (was: [GitHub] subversion pull request #6: VC should be 14.1 and not 15.0)

From: Daniel Shahaf <d.s_at_daniel.shahaf.name>
Date: Wed, 11 Oct 2017 00:51:34 +0000

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?
Received on 2017-10-11 02:51:38 CEST

This is an archived mail posted to the Subversion Dev mailing list.