b<br><br><div class="gmail_quote">On Sat, Sep 19, 2009 at 8:46 PM, Phil (list) <span dir="ltr">&lt;<a href="mailto:pbpublist@gmail.com">pbpublist@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
my vote is for option b<div><div></div><div class="h5"><br>
<br>
On Sep 19, 2009, at 2:38 PM, Simon Michael wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
Poll:<br>
<br>
My question is: What should be done with the bots currently announcing in the #squeak IRC channel ?<br>
<br>
a. Minor tweaks only, they are basically fine where they are.<br>
<br>
b. Move them all to back to #squeak-in-depth or elsewhere, they are damaging #squeak!<br>
<br>
c. Move the noisy commit bots to a separate channel, keep others where they are.<br>
<br>
d. I have a better idea: ...<br>
<br>
Please respond (any way you like) to this mail list thread to help me know what to do. Please do respond even if you are<br>
happy with the status quo, so we get an accurate picture.<br>
<br>
Thanks!<br>
-Simon<br>
<br>
<br>
</blockquote>
<br>
<br>
</div></div></blockquote></div><br>