[epsilon-dev] Delete "performance" folder from history

[Dimitris Kolovos <dimitris.kolovos@xxxxxxxxxx>]

Hi everyone,

We used to have a "performance" folder in the Git repo that contained
some big EMF models we used at some point for performance experiments.
One of these models is marginally larger than GitHub's 100MB per-file
limit, which means that it's not possible to mirror [1] the Epsilon
repository on GitHub. I'm considering deleting this folder *from the
entire history* of the Epsilon repo following the instructions in [2]
but I thought I'd run this past the dev list first in case anyone has
any concerns about this.

Cheers,
Dimitris

[1] https://www.eclipse.org/epsilon/doc/articles/git-fork-epsilon/
[2] https://stackoverflow.com/questions/10067848/remove-folder-and-its-contents-from-git-githubs-history

-- 
Dimitris Kolovos
Professor of Software Engineering
Department of Computer Science
University of York
http://www.cs.york.ac.uk/~dkolovos

EMAIL DISCLAIMER http://www.york.ac.uk/docs/disclaimer/email.htm