On Tuesday, December 17, 2013 3:01:47 PM UTC+1, Volker Braun wrote: > > On Tuesday, December 17, 2013 12:34:31 PM UTC, maldun wrote: >> >> And I have another question: why github? >> > > We only use github to mirror our own repo to save bandwidth. All > development is done with our own git server. > > > > Ok this makes sense. Thanks for the answer!
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.