There's webhooks in place yes- we could setup a middleman like zapier to send "records" via an exchange for archive purposes. More than happy to setup or help setup. Typical use case Johan, for those wanting a "log" of github activity.
Thoughts? -jacek On Tue, Oct 10, 2017 at 4:44 PM, Stefan Sperling <s...@apache.org> wrote: > 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@? > -- Jacek Materna Chief Technology Officer Assembla +1 210 410 7661
