On 26 September 2013 09:14, Anders Logg <[email protected]> wrote: > On Thu, Sep 26, 2013 at 10:09:50AM +0200, Johan Hake 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 hav > > That's my fault. They must have slipped in while I merged in the new > documentation. > >> removed them, but I wonder if we should also remove them from the git >> history? > > Do you remember how? I could dig up the old scripts we used to clean > the repository. But wouldn't that lead to problems with all branches > merged off from master after those files were added? >
As Martin said, it's not worth the effort. The .gitignore file should be changed to reduce the likelihood of gzipped files being added in the future. Garth > -- > Anders > _______________________________________________ > fenics mailing list > [email protected] > http://fenicsproject.org/mailman/listinfo/fenics _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
