During the long saga, someone - was it Matt? - suggested removing the credentials helper from git so that user/pw would be required for each push. I did that. Now that it's all working, I was able to restore the helper and I don't need to provide them each time. On Windows, here's the command I used:
git config --global credential.helper manager I found it on this Stack Exchange thread: https://stackoverflow.com/questions/15381198/remove-credentials-from-git <https://stackoverflow.com/questions/15381198/remove-credentials-from-git> On Saturday, May 9, 2020 at 11:35:58 PM UTC-4, Matt Wilkie wrote: > > And finally, I succeeded in pushing the latest version of VR3 to Leo's devel >> branch. >> > > Yay!! :) > -- 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/a25afa8d-d490-4c0d-8619-f8241312661c%40googlegroups.com.
