On Mon, Mar 16, 2020 at 3:42 PM Matt Wilkie <[email protected]> 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. > > Thanks, Matt, for these suggestions. Hope they work. Edward -- 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/CAMF8tS1-q6UbzDoPjm-fNi-8AQGoQVzUowhN%2Bw2G%3DyCSANyGdA%40mail.gmail.com.
