Hi all, Please read this carefully if you get Leo from GitHub - even if you just pull Leo from GitHub and don't make commits that get pushed back.
A large binary file was accidentally added to the repo. Tue Oct 31 22:26:38 2017 -0700. If you have pulled since then, you will have this file in your local clone of the repository. If you haven't pulled since the above, you can stop reading, you're good to go. The offending commit is 6a9d73f6db03, check that that's not in you `git log` Because it seemed better to fix it as quickly as possible, I just did a forced push that eliminated the large file from GitHub's history. If you've made no commits / changes to the leo-editor repository since then, you can either: Just delete you local clone and clone fresh OR git reset --hard e312165e19342 git pull in your local clone. What you don't want to do is just pull as usual, even if you don't usually commit to Leo, git will see the two extra commits as new work and want to merge / push them back. If you have done new work in the repository you want to keep, zip up a full copy of its current state before proceeding, then make a fixed version of the repo. as above and move your changes in to that. I hope there wasn't an easier way of dealing with this, other than leaving the file in the repo., but it seemed like the sooner these steps were taken the fewer people would be impacted. Cheers -Terry -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
