[FieldTrip] git repo quite big. How to save space?

[Maximilien Chaumon]

Dear all,

I have several copies of FieldTrip for several projects shared with others.
Each has its own copy of FieldTrip, which is at the moment a 1.7GB folder,
of which 1GB is taken by the .git directory. Would there be an easy way to
prune the repository where needed?

Best,
Max
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.science.ru.nl/pipermail/fieldtrip/attachments/20180713/3b260eb8/attachment-0001.html>