-
Notifications
You must be signed in to change notification settings - Fork 14
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
Reduce repository size #1
Comments
I'm all for just deleting the data sources directory, which is probably most of the repository size. Also don't need the jar or the zip. I want to keep linking and compiling as simple as possible, though. So I'd rather just include the jar/class/java files than have to use a dependency management tool. We can delete the unnecessary crap like data sources - that was more for my convenience when starting it out and debugging. Not for prime time. I considered just making a completely separate repository for data sources, but I don't think even that's very valuable now that the program has automated download and aggregate in the file menu. So... Delete unnecessary crap, then see where it's at. If it's still too big or eventually becomes too big, revisit. But I'd rather just make it a non-issue if possible. One think that's turned me off about projects is all the linking and compiling configuration. If we have to, we have to. But if we don't have it, why not keep it simple? So delete crap and see where that leaves us. Sent from my iPhone
|
So to reply itemized:
Sent from my iPhone
|
Sorry for replying in pieces.
Re Mavis v other dependency tools - Mavis is fine, seems to me it's popular. I really don't have experience with dependency management tools. And finally, how does all that sound - what are your thoughts? And thanks! Sent from my iPhone
|
Okay I deleted all the unneeded stuff. still says the repository is half a gig, but when i add up the folder sizes, it should only be a few MB. what gives? any ideas? i noticed the .git folder on my hard drive is over a gig! related? Also turns out i can't figure out how to delete old releases. if you can, be my guest. |
Sounds good! I'll help out with things you agreed you'd like to delete. |
Since git is a distributed version control system, the default behavior is for every collaborator to have every version of every file. When you run Long story short, BFG is the tool you need: |
I could run BFG to clean the large files out of the repo history, but I think I would need rights to force push to your fork, which is a kinda scary proposition since at this point I'm still pretty much an internet rando :). |
i was going to ask if you could do it. i've used it once to fix the repo On Thu, Jan 14, 2016 at 9:23 PM, Carl Schroedl notifications@github.com
|
You would need to add me as a collaborator so that I get push rights. You can manage that in this repo's "Settings" page and the "Collaboration" sub-page, or by visiting this url: |
After I finished removing the big files from the history, I would force push the rewritten history to your github fork. Collaborators would need to re-clone the repo to ensure we didn't have different versions of history. |
meaning i'd need to re-clone it, right? On Thu, Jan 14, 2016 at 9:42 PM, Carl Schroedl notifications@github.com
|
Haha, yeah. You and whoever "jimbrill" is. |
that's also me. he loaned me his mac so i could write some iphone On Thu, Jan 14, 2016 at 9:46 PM, Carl Schroedl notifications@github.com
|
XD! Haha. ok. |
you're now a collaborator. On Thu, Jan 14, 2016 at 9:47 PM, Kevin Baas happyjack27@gmail.com wrote:
|
Thanks! The 'data sources' dir is definitely the low-hanging fruit, so I'm trying that first via:
|
That command knocks repo size down to about 70 MB. Looks like the remainder of that is largely |
I removed it from the history via:
To the best of my limited abilities(mostly just building off of this blog post), I've analyzed the remaining objects in the repo's history. I've also poked around the file system a bit on the most recent commit on master. If there are data that could be further deleted, they are pretty small. I've force-pushed to my fork. You can verify that my fork is smaller and retains the relevant files and history entries by cloning my fork to your workstation. It should be much faster, but still have what we need. If you approve, I can force push to your fork. |
As in, I probably /can/ push to your fork right now, but I'd like to get the 👍 from you first :) |
looks fine. i guess just launch ui.Applet and make sure it launches fine, On Thu, Jan 14, 2016 at 10:48 PM, Carl Schroedl notifications@github.com
|
I pushed the slimmer repo up to your fork:
Please verify and close. |
Closing issue. Thanks! |
Github has a soft repo size limit of 1GB. Though this is a small project, this repository is already approaching the soft limit. Contributors to large file size include checked-in:
I have experience using tooling that we can use to address all three. We could resolve these issues by...
What do you think?
The text was updated successfully, but these errors were encountered: