Re: FORCED PUSH on Leo repo. - read if you use git

Thank you Terry. Much appreciated On Thu, Nov 2, 2017 at 1:58 PM, Terry Brown 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 re

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

On Thu, 2 Nov 2017 15:55:38 -0500 "Edward K. Ream" wrote: > On Thu, Nov 2, 2017 at 3:16 PM, Terry Brown > wrote: > > > someone needs to do something like > > > > git reset --hard e312165e1 > > git push --force > > > > ​I'm happy to do this. Shall I go ahead? > > Edward I've done it, along w

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

> git reset --hard e312165e1 >> git push --force >> > > ​I'm happy to do this. Shall I go ahead? > ok by me. my last change was short and sweet, easy to re-apply -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and

FORCED PUSH on Leo repo. - read if you use git

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 you

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

Also found GitExtensions by way of https://stackoverflow.com/questions/10622179/how-to-find-identify-large-files-commits-in-git-history which has a plugin to list large files. It's slow, took about 30 minute on our repo, but looks usable. I don't know if it helps with everyone needing to to do a gi

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

On Thu, Nov 2, 2017 at 3:16 PM, Terry Brown wrote: > someone needs to do something like > > git reset --hard e312165e1 > git push --force > ​I'm happy to do this. Shall I go ahead? Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To uns

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

On Thu, 2 Nov 2017 15:16:58 -0500 Terry Brown wrote: > I'm not exactly sure how this will impact people who've pulled you > commits, not the end of world, but there might be an extra step. I'll > see if I can simulate it and see what happens. Hmm, my first impression is that everyone who's pull

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

Thanks Terry! On Thu, Nov 2, 2017 at 1:16 PM, Terry Brown wrote: > On Thu, 2 Nov 2017 12:57:06 -0700 > Matt Wilkie wrote: > > > I intent to proceed carefully and not push anything that could > > jeopardize others. I see some wording in the Github page on removing > > sensitive data that some hi

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

On Thu, 2 Nov 2017 12:57:06 -0700 Matt Wilkie wrote: > I intent to proceed carefully and not push anything that could > jeopardize others. I see some wording in the Github page on removing > sensitive data that some history editing actions can change commit > id's and have follow on effects with

Re: Eeek! accidentally pushed a 24mb binary file. Sorry!

I intent to proceed carefully and not push anything that could jeopardize others. I see some wording in the Github page on removing sensitive data that some history editing actions can change commit id's and have follow o

Eeek! accidentally pushed a 24mb binary file. Sorry!

Eeek! I recently pushed a commit that accidentally included a 24mb binary file 6a9d73f6db03756ab3c4db2cf2b32d37ac5668e2 -- that's horrible :( After some research it looks like a good tool to clean up my mess is BFG Repo-Cleaner Given that a fresh clon

Re: Merging leo_edit_pane into master?

I understand I need QScintilla to try this, but it seems there different versions and installation methods. What's the best way to install the required dependencies? (I use Anaconda). Thanks, Arjan -- You received this message because you are subscribed to the Google Groups "leo-editor" grou

Re: Beginner Question - What is a good workflow to outline this in Leo and then be able to execute the code.

On Thu, Nov 2, 2017 at 2:40 AM, James Gross wrote: > Ok, solved both ... > > 1. Leo seems to be working auto-completing in the body pane by default > 2. The mini-buffer commands are fun! > ​Excellent! Welcome aboard. Edward -- You received this message because you are subscribed to the Googl

Re: Beginner Question - What is a good workflow to outline this in Leo and then be able to execute the code.

Ok, solved both ... 1. Leo seems to be working auto-completing in the body pane by default 2. The mini-buffer commands are fun! On Thursday, November 2, 2017 at 2:49:20 AM UTC-4, James Gross wrote: > > Redo ... I have simplified my question above > > I would like to use Leo as my study assistan