<div dir="ltr">*If* there is consensus on moving to github, should be think about making the switch before the hacksprint in SF? It might save us some time as then we would have set-up the buildbot, etc. <div><br></div><div>

On the other hand, if there isn't consensus, maybe the hacksprint would be a good opportunity to try github out. </div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Oct 9, 2013 at 8:30 AM, Martin Dluhos <span dir="ltr"><<a href="mailto:martin@gnu.org" target="_blank">martin@gnu.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 10/09/2013 11:13 AM, Anish Mangal wrote:<br>
>> I think that it would be more appropriate to send notifications of merged pull<br>
>> > requests rather than individual commits to avoid too much noise on the channel.<br>
>> > Those who are interested can always follow the pull request link to access<br>
>> > individual commits.<br>
>> ><br>
> I would prefer notifications for pull requests *both* when they are<br>
> created and when they are merged. The creation of the pull request<br>
> will sort of open a review and test window for people willing to do<br>
> that, so notifying that event is necessary IMO.<br>
<br>
</div>Very good point. I agree.<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Server-devel mailing list<br>
<a href="mailto:Server-devel@lists.laptop.org">Server-devel@lists.laptop.org</a><br>
<a href="http://lists.laptop.org/listinfo/server-devel" target="_blank">http://lists.laptop.org/listinfo/server-devel</a><br>
</div></div></blockquote></div><br></div>