Skip to content

schema diff: flip source and target graph depending on the isolated vertices #3195

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.

Sign up for GitHub

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

Jump to bottom
Merged
andimarek merged 2 commits into from
Apr 20, 2023
Merged

schema diff: flip source and target graph depending on the isolated vertices #3195

andimarek merged 2 commits into from
Apr 20, 2023

Conversation

@andimarek
Copy link
Member

@andimarek andimarek commented Apr 19, 2023

No description provided.

@andimarek andimarek added the not release related changes which are not released (for example unit tests or docs) label Apr 19, 2023
@andimarek andimarek changed the title flip source and target graph depending on the isolated vertices schema diff: flip source and target graph depending on the isolated vertices Apr 19, 2023
@andimarek andimarek added this pull request to the merge queue Apr 20, 2023
Merged via the queue into master with commit b722562 Apr 20, 2023
@dondonz dondonz added this to the 2023 July milestone Jul 10, 2023
@dondonz dondonz deleted the schema-diff-inverted-graph branch July 10, 2023 00:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

not release related changes which are not released (for example unit tests or docs)

Projects

None yet

Milestone

21.0

Development

Successfully merging this pull request may close these issues.

3 participants

@andimarek @dondonz