On 2015-09-07 19:38, Volker Braun wrote:
On Monday, September 7, 2015 at 7:29:54 PM UTC+2, Jeroen Demeyer wrote:So, can you remind us what exactly is the use case for this server? The goal is no manual steps when handling third-party tarballs
Sorry, but I am lost. How are we, Sage developers, supposed to use this new tarball upload service in practice? Or is it meant to be used only once #19102 has been merged?
-- 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/d/optout.
