Thank you Terry. Much appreciated On Thu, Nov 2, 2017 at 1:58 PM, Terry Brown <[email protected]> wrote:
> 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/leo-editor. > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
