On Mon, 23 Feb 2015 11:13:47 -0700 Bryan Petty wrote:
BP> GitHub PRs can not be turned off on any GitHub repository. Just Issues
BP> can, and they have been turned off for all wxWidgets repos except for
BP> the website.
FWIW I definitely agree that issues should remain turned off.
BP> Right now, we have an automated bot leaving a standard reply to all
BP> pull requests opened. For example, this isn't actually me replying to
BP> this one:
https://github.com/wxWidgets/wxWidgets/pull/18
Presumably this bot could be modified to open a Trac ticket instead?
BP> There are certainly some drawbacks and advantages to both systems, but
BP> I think that as long as there's more core developers aware that
BP> patches might come in from either location, and there's at least a few
BP> actively watching and handling new pull requests, it's really not a
BP> problem to give contributors the choice. It's certainly easier for a
BP> lot of developers, and that's very likely to encourage more
BP> contributions we might not have ever seen anyone bother with.
The simplest solution is indeed to just allow both, but if we could have
at least a one directional synchronization, i.e. create (and update?) Trac
tickets when a PR is created (or changed), it would be even better. And the
ideal solution would be to have a two way synchronization, i.e. also update
(e.g. close) PRs when Trac ticket is updated, but this would almost
certainly be too difficult...
Regards,
VZ