Sept. 25, 2018
8:16 p.m.
Would it be possible to have an opt-in for that bot? On Tue, Sep 25, 2018 at 8:01 PM Juan Nunez-Iglesias <jni.soma@gmail.com> wrote:
On 26 Sep 2018, at 5:12 am, Ralf Gommers <ralf.gommers@gmail.com> wrote: My $2c: I've had this "bot experience" happen to me once (for a pip contribution), and that left a *really* bad taste.
I’m going to second Ralf’s comments here. These bots are a great idea if your number one goal is to reduce the number of open PRs at the cost of everything else — including happy contributors. _______________________________________________ NumPy-Discussion mailing list NumPy-Discussion@python.org https://mail.python.org/mailman/listinfo/numpy-discussion