Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

conflicts: refactor materialize_merge_result() #4928

Merged
merged 4 commits into from
Nov 21, 2024

Conversation

yuja
Copy link
Contributor

@yuja yuja commented Nov 20, 2024

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • I have updated the config schema (cli/src/config-schema.json)
  • I have added tests to cover my changes

yuja added 4 commits November 20, 2024 22:27
I'm going to make materialize_merge_result() accept reference type. This patch
extracts large non-generic part to a separate function.
Because the output of diff.hunks() is a list of [&BStr]s, a Merge object
reconstructed from a diff hunk will be Merge<&BStr>. I'm not pretty sure if
we'll implement conflict diffs in that way, but this change should be harmless
anyway.
We have many callers of materialize_merge_result() who just want in-memory
buffer.
Copy link
Member

@martinvonz martinvonz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, but maybe @scott2000 (author of #4897 ) and @ilyagr (author of #4251) also want a look?

(But I know @scott2000 already basically approved it.)

Copy link
Contributor

@scott2000 scott2000 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Contributor

@ilyagr ilyagr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM as well, thank you!

@yuja yuja merged commit 7906b3f into jj-vcs:main Nov 21, 2024
18 checks passed
@yuja yuja deleted the push-puzorutuyrzw branch November 21, 2024 01:50
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.

4 participants