On Thu, 21 Apr 2011, Raymond Toy wrote:
< On 4/20/11 7:24 PM, Robert Dodier wrote:
< > There is definitely some fossilized stuff in the repo which we can
< > just give the axe. htdocs is the web stuff, so it needs to remain active,
< > although we can consider moving it into its own repo.
< > But izic, maxima-pre59, maybe others, can be simply nuked.
< > (I expect that they will remain in the repo history; that's
< > all well and good.)
<
< If they're still in the repo, won't they still be downloaded locally
< when you clone the repo? Not so nice for people who are on a slow
< link. I guess they're not big, but still....
For comparison, I filtered the maxima directory into a separate Git
repo, as Andrej suggested. I was surprised to find that it occupies 175M
versus 195M for my clone of 'repo'.
'repo' on SF takes up 80M, which I think by modern standards is a smallish download.
I don't see the point of slicing and dicing to save a few megs.
Leo
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.