<div dir="ltr">I like github, based upon my limited experience, because of its browsability. There will be new workflows that need to be established, but I'm willing for it. <div><br></div><div>My sense of it is that this becoming a activitycentral project, which is ok with me. I'm glad when people start putting a shoulder to the wheel.</div>
<div><br></div><div>We need to start adding value in the classroom as soon as possible, and github is an intermediate objective, but a distraction, from that objective.</div><div><br></div><div>+1 for github</div><div><br>
</div><div>george</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Oct 13, 2013 at 2:11 PM, Anish Mangal <span dir="ltr"><<a href="mailto:anish@activitycentral.com" target="_blank">anish@activitycentral.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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>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><div>_______________________________________________<br>
Server-devel mailing list<br>
<a href="mailto:Server-devel@lists.laptop.org" target="_blank">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>
</blockquote></div><br></div>