On Saturday, July 25, 2020 at 10:32:23 AM UTC-5, Edward K. Ream wrote:
> I just made another mistake. I merged the keys branch into devel without
a PR. That's too bad. The PR would have summarized all the changed.
I used gitk to guess at the first relevant commit.
Here is a Leo script that shows the diffs between the first relevant commit
and the latest commit.
import leo.commands.editFileCommands as efc
efc.GitDiffController(c).diff_two_revs(
rev1='4b8320485c0', # first keys commit
rev2='2507a1fcc70', # Latest devel commit
directory=None,
)
Many of the changes shown are irrelevant and would not have appeared in the
PR.
None of this would have been necessary had I issued a PR.
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/51e8ccf1-6aab-4fc1-a099-5055d4065065o%40googlegroups.com.
