On 2020-10-01 04:29, Samuel Lelievre wrote: > > I'm not sure how to best deal with that: > > [a] ... >
[d] change our github email address to postmas...@digitalocean.com (how many real pull requests do we get?) -- 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/ffe4393b-a39c-23d2-9079-b23fb7188560%40orlitzky.com.