Skip to content

Conversation

jvns
Copy link
Collaborator

@jvns jvns commented Sep 17, 2025

Made a couple of tweaks to #2076 that I think will make things clearer:

  1. Make the D' boxes a bit wider, so it doesn't look so cramped
  2. Remove the "prime" from the stacked D and E

The idea of the "prime" annotation is that D is somehow a shorthand for a commit ID, and D' is meant to suggest that the transplanted commit has a different commit ID. I think this makes sense.

But with the stacked D and E, the two D and E being grouped together are already doing the work to show that the new commit is modified in some way, so we don't need to add the "prime" (and it's not clear to me what the prime could actually mean).

@To1ne
Copy link
Collaborator

To1ne commented Sep 18, 2025

and it's not clear to me what the prime could actually mean

@dscho Was I wrong merging #2076?

@To1ne
Copy link
Collaborator

To1ne commented Sep 18, 2025

  1. Make the D' boxes a bit wider, so it doesn't look so cramped

I prefer them being equally wide, even if it looks cramped (it's not that bad if you ask me)

@dscho
Copy link
Member

dscho commented Sep 18, 2025

and it's not clear to me what the prime could actually mean

@dscho Was I wrong merging #2076?

Don't ask me, I am a mathematician originally, and my "best" time was when I worked on a theorem with four primes (i.e. a value that was derived from a value that was derived from a value that was derived from a value that was derived from the original value).

😁

Remove the "prime" from the stacked D and E because
I think it's confusing.

The idea of the D' annotation is that D is somehow a shorthand for a
commit ID, and D' is meant to suggest that the transplanted commit has a
different commit ID.

But with the stacked D and E, the two D and E being grouped together are
already doing the work to show that the new commit is modified in some
way, so we don't need to add the "prime" (and it's not clear to me what
the prime would mean)
@jvns
Copy link
Collaborator Author

jvns commented Sep 19, 2025

Okay, left the width as it is and adjusted this to just remove the prime. Also happy to close this if folks disagree :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants