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 [email protected] (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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/ffe4393b-a39c-23d2-9079-b23fb7188560%40orlitzky.com.
