All right, I'll see if I can do that. The thing is, I was already working with a clone of the Leo repo. Github Desktop clones the repo, sets the clone up on your own Github account, and sets it to point to the Leo repo as the upstream - all those actions you would otherwise do one by one, if you remembered all the git commands, get done in one fell swoop. What I don't know is whether I can re-clone the Leo repo since I've already got one.
Maybe if I start with a new location on my hard drive... On Thursday, March 12, 2020 at 5:13:51 AM UTC-4, Edward K. Ream wrote: > > > > On Wed, Mar 11, 2020 at 12:04 PM Thomas Passin <[email protected] > <javascript:>> 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/de2f730f-39e2-4c87-87a8-551da8f6f077%40googlegroups.com.
