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.

Sign up for GitHub

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

Jump to bottom

Purge history #17

Open

janjongboom opened this issue Oct 30, 2017 · 2 comments

janjongboom commented Oct 30, 2017 •

edited

Loading

All the binary files in the history make it very painful to clone this repo. Takes very long.

Contributor

theotherjimmy commented Feb 14, 2019

Can do. This will force you to re-clone.

Author

janjongboom commented Feb 15, 2019

@theotherjimmy I don't think anyone outside Arm ever clones this thing, so no problem with me.

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