+1 for Github On Thursday, 22 September 2022 at 14:19:57 UTC+2 Jonathan wrote:
> +1 for Github > > On Thursday, September 22, 2022 at 5:06:02 AM UTC-5 antoine....@gmail.com > wrote: > >> +1 for Github >> >> Le jeudi 22 septembre 2022 à 11:38:17 UTC+2, chris wuthrich a écrit : >> >>> >>> 0 (No real preference and too little understanding of the matter, but >>> very happy that we have a meaningful vote on things like this.) >> >> -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/c3f97fcd-b046-47e3-9b93-ec766ffe7527n%40googlegroups.com.