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.s...@gmail.com> wrote:
> > On 26 Sep 2018, at 5:12 am, Ralf Gommers <ralf.gomm...@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 >
_______________________________________________ NumPy-Discussion mailing list NumPy-Discussion@python.org https://mail.python.org/mailman/listinfo/numpy-discussion
