Github PR are yet another channel of contribution. Some may prefer its interface to p5p. Your incentive appears to be to avoid splitting the discussion between multiple places. If so, why not have them replicated here like RT already is? https://github.com/google/pull-request-mailer looks like the thing made with exactly this in mind. On 09.04.2016 22:00, Ricardo Signes wrote: > I just pushed to rjbs/github-notices: > > commit a9fa862efc67434a6a880ded4f7af9cacb0f67ac > Author: Ricardo Signes <rjbs@cpan.org> > Date: Sat Apr 9 08:26:56 2016 -0400 > > add files to dissuade users from filing GH pull requests > > This adds two files to the .github directory. These would be displayed to users > attempting to file pull requests on the GitHub mirror. This happens rarely, > but often enough that it would be good to try to avoid it. GitHub will not > allow us to simply disable PRs. > > This branch fails tests. > > If the files are not in the MANIFEST, this is a failure. If they *are* in the > manifest, there is a porting failure because directories beginning with dots > are not allowed. > > Is there an existing solution to this that I'm unaware of? Do we really need > these files in the manifest, since we don't need them in release tarballs? > > I don't mind spending more effort here, but I'm hoping someone knows the > almost-no-effort solution already. > -- Regards, IvanThread Previous | Thread Next