May 3, 2017
9:51 a.m.
On 3 May 2017 at 10:30, M.-A. Lemburg <mal@egenix.com> wrote:
I don't think we should open a discussion of whether to move away from bpo or not.
Agreed...
The thread topic only refers to how we deal with discussions which should be had on bpo rather than Github PRs and I think we mostly agree that having them on bpo is better, regardless of how we view Github discussions in general.
I don't agree, but as you said above, that's not the topic of this thread.
Paul