Skip to content

[Schemas] Handle name conflicts #1718

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
merged 44 commits into from
Jul 31, 2024
Merged

[Schemas] Handle name conflicts #1718

merged 44 commits into from
Jul 31, 2024

Conversation

hariso
Copy link
Contributor

@hariso hariso commented Jul 23, 2024 •
edited
Loading

Description

Closes #1660.

Depends on:

Quick checks:

  • I have followed the Code Guidelines.
  • There is no other pull request for the same update/change.
  • I have written unit tests.
  • I have made sure that the PR is of reasonable size and can be easily reviewed.

@hariso hariso mentioned this pull request Jul 23, 2024
Closed
hariso
hariso commented Jul 24, 2024
View reviewed changes
@hariso hariso marked this pull request as ready for review July 24, 2024 13:11
@hariso hariso requested a review from a team as a code owner July 24, 2024 13:11
lovromazgon
lovromazgon reviewed Jul 29, 2024
View reviewed changes
@lovromazgon lovromazgon enabled auto-merge (squash) July 30, 2024 15:59
@lovromazgon lovromazgon disabled auto-merge July 30, 2024 15:59
@hariso hariso merged commit 76c25f1 into main Jul 31, 2024
4 checks passed
@hariso hariso deleted the haris/handle-name-conflicts branch July 31, 2024 13:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lovromazgon lovromazgon lovromazgon approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[Schemas] Handle name conflicts
2 participants
@hariso @lovromazgon