After I pushed my change to Github, Github recognized that I had made a commit and offered to create a PR, which I accepted. So at that time Github knew there had been a commit. I also see that the changes are in my Github leo-editor repo, starting at line 1796 in qt_text.py.
The branch is not devel but tbp-leo-general. Otherwise, I can't help you with git mysteries. I always get lost! On Tuesday, June 28, 2022 at 2:11:43 AM UTC-4 Edward K. Ream wrote: > On Monday, June 27, 2022 at 1:42:26 PM UTC-5 [email protected] wrote: > >> PR 2698 <https://github.com/leo-editor/leo-editor/pull/2698> handles >> this (when merged). >> > > I'm having trouble testing the code. Maybe I'm not using git correctly. > Here's what I did: > > - In the PR's main page, I clicked the link that says > tbpassin:tbp-leo-general. > That takes me to this page: > https://github.com/tbpassin/leo-editor/tree/tbp-leo-general > > - In that page, I copied the "Code" link, whose contents is: > https://github.com/tbpassin/leo-editor.git > > - In my Repos directory, I did `git clone > https://github.com/tbpassin/leo-editor.git tbp` > > - cd tbp > > - I don't see the new code, and gitk doesn't show any commits. > > I wonder what I did wrong. > > 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/72dd2d12-4b56-4bae-8f56-efdd2905b4bcn%40googlegroups.com.
