On 2016-04-15 16:15, William Stein wrote:
But +1 for having people who care have the ability to push to the repo on github and generally take over maintenance.
Any volunteers? If there is indeed somebody who is seriously willing to manage SageNB, that would be a good solution. However, by lack of such a person, I think the best solution is to use the resources of Sage to manage SageNB.
-- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.