Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove binary files from history #47

Open
Databean opened this issue Jul 25, 2014 · 4 comments
Open

Remove binary files from history #47

Databean opened this issue Jul 25, 2014 · 4 comments

Comments

@Databean
Copy link
Contributor

As of #42, the binary files in the repository are unused, and only clutter the history. Removing them will make the JavaMOP repository much faster to download.

@owolabileg
Copy link
Contributor

I believe the last of these binary files was removes as part of this commit on the master branch. Please reopen if you think this has not been properly addressed.

@dwightguth
Copy link

This isn't what Cody actually had in mind, and won't be sufficient to decrease the download size. Git downloads the entire history of the project, so it will actually still download all the binaries you checked in in order to satisfy old versions even though you have since deleted them. You need to run the repo through a history refactoring tool like BFG.

@owolabileg
Copy link
Contributor

Thanks for the clarification. I compeletely misunderstood :)

I'll investigate BFG and try to clear up the history.

@grosu
Copy link
Contributor

grosu commented Sep 16, 2014

If the only benefit we get from this is a smaller JavaMOP repo download at the expense of breaking the integrity of the history, then I'd say it is not a priority. We have lots of other more serious problems to fix in JavaMOP. And once we have the installer in place, hopefully very soon, we will give people a small binary to download anyway, so size is not going to be a problem. Those very very very few users who will still want to download the code base, can afford to spend 10 more seconds. Anyway, my point is: let's do the urgent things first, without getting distracted by minor issues.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants