Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [epsilon-dev] Delete "performance" folder from history

Hi Dimitris,

 

Would it help to delete some of the unused branches in the repo beforehand to make this easier? Currently there are a few that have been inactive for some time and merged into the main branch (e.g. bug fixes, refactoring).

 

Thanks,

Sina

 

From: Dimitris Kolovos
Sent: 22 October 2019 12:18
To: Sina Madani
Cc: Epsilon Project developer discussions; Qurat Ul Ain Ali; Sorour Jahanbin
Subject: Re: Delete "performance" folder from history

 

Hi Sina,

 

Thanks for your response.

 

Everyone: Unless there are any objections, I'll do this on Saturday

morning, so please do not push any new commits - in any branch of the

repo - after the end of play on Friday and until further notice.

 

Cheers,

Dimitris

 

 

On Sun, 20 Oct 2019 at 23:45, Sina Madani <sm1748@xxxxxxxxxx> wrote:

> 

> Hi Dimitris,

> 

> 

> 

> I think this is a good idea. I tried to look for places where this is used within the main branch and could not find any, and there is only a single use case in that folder anyway. I think it makes sense to separate these benchmarks from the main development repo (delete or host elsewhere), though if we want to keep the ‘performance’ folder in the repository for whatever reason one option would be to delete only the models.

> 

> 

> 

> Thanks,

> 

> Sina

> 

> 

> 

> From: Dimitris Kolovos

> Sent: 20 October 2019 21:44

> To: Epsilon Project developer discussions

> Cc: Sina Madani; Qurat Ul Ain Ali; Sorour Jahanbin

> Subject: Delete "performance" folder from history

> 

> 

> 

> 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

> 

> 

 

 

 

--

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

 


Back to the top