On Tue, Oct 10, 2017 at 05:32:21PM -0400, Paul Hammant wrote: > > > > > > Anybody knows why asfgit closed the PR? > > > > I've clicked on the above hyperlink, and saw some comments made by > > Julian (11 hours ago) and by the submitter (8 hours ago), but these > > comments are not visible on dev@. Shouldn't those be synced back here > > somehow? Or how should we handle PR's, preferably with a process > > that's still centered around the dev@ mailinglist? > > > > If we can't really handle PR's well, maybe we shouldn't allow them > > (i.e. indicate this on github somehow, that it's just a mirror and we > > won't accept PR's, but expect patch submissions on dev@ instead)? > > > > > If you ask people comfortable with donating code via PR to email patches > (or similar) to dev@ instead, you'll get a 1/100th contribution rate. Or > worse. > > There's no easy answer.
Couldn't some automated process mail PRs from github as (--git) diffs to dev@?
