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

bugfix: reuse unique type guids on merge conflicts #5332

Merged
merged 2 commits into from
Sep 5, 2024

Conversation

mitchellwrosen
Copy link
Member

Overview

Fixes #5331

This PR amends a merge branch (i.e. a branch that we create to resolve a merge conflict) to include dependents and conflicts.

Previously, all dependents and conflicts would be omitted from the underlying namespace. This had the unfortunate consequence of regenerating unique type GUIDs for all unique types that are either conflicted or the dependent of a conflict.

Test coverage

I've added a transcript to cover this change

@@ -46,11 +46,11 @@ bar = "bobs bar"
Merge result:

``` ucm
project/alice> merge /bob
Copy link
Contributor

Choose a reason for hiding this comment

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

If possible to put the 500 line rename into at least a separate commit, it will make reviewing easier.

Copy link
Contributor

Choose a reason for hiding this comment

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

I guess it sort of is in a separate commit; thanks.

@aryairani aryairani merged commit 9af301d into trunk Sep 5, 2024
32 checks passed
@aryairani aryairani deleted the 24-09-05-merge-branch-dependents branch September 5, 2024 21:23
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.

merge branch doesn't preserve unique type GUIDs when they're available
2 participants