On Tue, Oct 10, 2017 at 8:11 PM, asfgit <g...@git.apache.org> wrote: > Github user asfgit closed the pull request at: > > https://github.com/apache/subversion/pull/6 > > > ---
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)? -- Johan
