On Sun, Jul 26, 2020 at 10:32 AM Brian Theado <brian.the...@gmail.com> wrote:
> From https://git-scm.com/book/en/v2/Git-Branching-Branches-in-a-Nutshell, "a branch in Git is simply a lightweight movable pointer to one of these commits". So when you delete a branch, you only lose the named pointer to the commit. Your merge commit shows which commit the keys branch used to point to: Thanks for this. I'm less alarmed now :-) However, I am not happy with gitk (or git log) as a means of seeing what has happened. Perhaps I am missing something. Yesterday I did discover git views, but they haven't helped nearly as much as I would have liked. And where is the search function in gitk? 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2x99q53QW%2BnGeSHRe9%2Bue9Fj02mNuY5kvJ9m3oH95zDA%40mail.gmail.com.