Almost, we should do 2 things: - Remove the files (but not from the history) - Fix the .gitignore as Garth suggested
-- Anders On Thu, Sep 26, 2013 at 10:18:20AM +0200, Johan Hake wrote: > Ok, I agree. I vote for not doing anything then. > > Johan > > > On Thu, Sep 26, 2013 at 10:13 AM, Martin Sandve Alnæs <[email protected]> > wrote: > > They're only 50 and 80 KB files uncompressed, so they won't take much > space > in .git/. Its not worth the trouble. > > Martin > > > On 26 September 2013 10:09, Johan Hake <[email protected]> wrote: > > In commit: > > 82cfefae2a3a81dcdf910840bc556510dd38348e > > in dolfin it was commited some mesh files: > > demo/documented/stokes-mini/dolfin_fine.xml.gz > demo/documented/stokes-mini/dolfin_fine_subdomains.xml.gz > demo/documented/stokes-stabilized/dolfin_fine.xml.gz > demo/documented/stokes-stabilized/dolfin_fine_subdomains.xml.gz > demo/documented/stokes-taylor-hood/dolfin_fine_subdomains.xml.gz > > These should not be residing in the repository but rather be > downloaded. I have removed them, but I wonder if we should also remove > them from the git history? > > Johan > > _______________________________________________ > fenics mailing list > [email protected] > http://fenicsproject.org/mailman/listinfo/fenics > > > > > > _______________________________________________ > fenics mailing list > [email protected] > http://fenicsproject.org/mailman/listinfo/fenics _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
