On Monday, February 19, 2024 at 12:09:54 PM UTC-8 Matthias Koeppe wrote: Prompted by the discussion of space use on the *local machines* of users and developers, I propose another item in addition to A and B:
*C. Advertise use of "git worktree" and recommend symlinking the "upstream" directory.* For testing a new release when you have an existing clone of the repository, using "git clone" another time is overkill as it creates another copy of the .git directory. And there is no point in having multiple copies of the "upstream" directory, as the filenames of the tarballs change whenever the contents change. That's now https://github.com/sagemath/sage/pull/37411 (needs review) (I've written it without introducing a new Sage command for now.) -- 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/44665827-048e-4cc7-a154-1d6459196633n%40googlegroups.com.
