I'm in favor of removing the dev scripts eventually, but not right now. There is still some useful functionality for importing old patches, and maybe somebody uses them. The documentation should already be clear enough that this is not the currently recommended way to use git. I'm fine with removing the dev script documentation from the developer guide if you want to simplify it.
-- 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.
