<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span style="font-size:12.8px">That would be best solution (I think it would solve<br></span><a href="https://github.com/python/miss-islington/issues/16" rel="noreferrer" target="_blank" style="font-size:12.8px">https://github.com/python/<wbr>miss-islington/issues/16</a><span style="font-size:12.8px"> too) but it's more<br></span><span style="font-size:12.8px">complicated than the extension idea :) I have some time work on it if<br></span><span style="font-size:12.8px">you'd like to implement the mergebot idea.</span></blockquote><div><br></div><div>+1 for the mergebot! :) </div><div><br></div><div>New bot or miss-islington's new job?</div><div><br></div><div>Still +1 either way, as long as other core devs are fine with it too :)</div><div><br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature">Mariatta Wijaya</div></div><br></div></div>