On Sunday, April 19, 2020 at 8:45:19 PM UTC-4, Matt Wilkie wrote: > > Hmm. What happens with `git push` from console? (see tab button beside > [commit, diff, file tree, ...] in Git Extensions, or just from a regular > command prompt). Any error messages? >
That pushes to my fork, but not upstream to Leo. It works fine. Do you think it's worth cloning Leo using Git-Ext? Right now, I have the fork, managed with Git Ext, and the Leo clone, managed by Github Desktop. Do you have more than one GitHub account? I've run into problems with Git > Extensions and multiple GitHub identities. I *think *I've sorted it now, > but I've thought that before. > Not so far as I know, and Git Ext only seems to know about the one. There is one thing in this area that's a little confusing to me. I don't let GutHub show my real mailing address. It has told me that in that case, It cooked up a different email address for me to use - but I don't understand for what purposes. I've tried using that one too, and no joy. -- 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/ebb13e3c-a2a6-4486-96bf-0c0b68e421d5%40googlegroups.com.
