Thank you Matt. I followed your suggested steps, and they worked. I now have an all-new fork. One of the missing things for me (before you wrote) was how to delete my entire GitHub fork. I don't know how long that would have taken me to find if you had not pointed me to Settings.
On Monday, March 16, 2020 at 4:42:32 PM UTC-4, Matt Wilkie wrote: > > The problem I'm having is that my repo in my account on Github somehow got >> messed up, and I haven't been able to nuke it, repair it, or get it to >> fully update itself from the Leo upstream. > > > Thomas I think maybe what happened is that at some point in history a new > local branch named "devel" was created based on "master" instead of > checking out the upstream "devel". > > To clean up the situation I might try: > > 1. Ensure local repo is up to date with > https://github.com/tbpassin/leo-editor > 2. Archive local repo into a zip (or whatever) and then delete > 3. On GitHub delete https://github.com/tbpassin/leo-editor under > [settings]. You can import from your local repo later if you decide it has > something important. > 4. Create a new fork from https://github.com/leo-editor/leo-editor and > clone to your local machine. > 5. Checkout Devel branch > 6. Create your branch from Devel and bring in your work. > > The purpose of archiving and deleting in #2 instead of moving or renaming > is to ensure Github Desktop can't possiblly seeing anything but the new > fork. > > -matt > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/7b16751d-4f84-43a5-9ca6-eb9659623a86%40googlegroups.com.
