Thanks, Matt! On Saturday, April 18, 2020 at 8:13:59 PM UTC-4, Matt Wilkie wrote: > > That is very inspiring Thomas! >
I'm still stuck on pushing my changes to the Leo repo. Here's hoping you can help! Edward told me he's added me to Leo's contributors, but every attempt I've made to push a file has failed with an Unauthorized or 403 Forbidden error. Here's what I've tried: 1. Push directly from a Git Leo clone, using GitHub Desktop; 2. Push from my own Leo fork, using Git Extensions (as you recommended); 3. In Git Extensions, set up Putty to create and use a key pair, and informed Github of the public key. Within my own fork, I didn't have any trouble pushing or merging my changes. But all of these failed when I tried to go to the Leo repo. I'm out of ideas to try. So far as I know, both GitHub desktop and Git Extensions use the command line behind the scenes. Is there some other configuration thing at Github that needs to be done? -- 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/81495fe8-bfa4-4489-848d-766520beee5b%40googlegroups.com.
