On Friday, September 12, 2014 12:34:38 AM UTC-5, Edward K. Ream wrote: > > On Fri, Sep 12, 2014 at 12:14 AM, Edward K. Ream <[email protected]> > wrote: > > > I created branch called new-settings-branch for this work, but I don't > seem > > to be able to push this branch. > > Alright. I did git push -u origin new-settings-branch. Now the > branch is visible on GitHub. >
Using this remote branch is absurdly clumsy, without any real benefits. It's been a learning experience ;-) I'm going to delete this branch and do all the work in the trunk. This should cause no real inconveniences: if people look, and they probably won't, they will see just one extra, non-functional, node (with descendants) in leoSettings.leo. With everything done in master, Terry and I can share ideas and work easily. The next step: convert the body text in the node "New/changed selectors" node to actual settings nodes using a script. 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
