On Wed, Mar 11, 2020 at 12:04 PM Thomas Passin <[email protected]> wrote:
> > Can I just clone a branch of the Leo repo? I thought - at least, using > Github Desktop - that I could only get the whole repo with all its branches. > I never use Github desktop, so I couldn't say. Yes, I recommend cloning the Leo repo, and switching to the devel branch. Then add vr3.py and any other needed files. Carefully check the diffs, then file a PR. 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/CAMF8tS2B07kPCoGMnpUXRRNMM01M5RfMLY1nNWUBC4O4TQPxeA%40mail.gmail.com.
