<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 26 Sep 2018, at 5:12 am, Ralf Gommers <<a href="mailto:ralf.gommers@gmail.com" class="">ralf.gommers@gmail.com</a>> wrote:</div><div class=""><div dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><div class="gmail_quote"><div class="">My $2c: I've had this "bot experience" happen to me once (for a pip contribution), and that left a *really* bad taste.</div></div></div></div></blockquote><br class=""></div><div>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.</div></body></html>