Skip to content

chore: rename SchemaTypeId#2494

Merged
bobbinth merged 1 commit intonextfrom
igamigo-rename-type-id
Feb 25, 2026
Merged

chore: rename SchemaTypeId#2494
bobbinth merged 1 commit intonextfrom
igamigo-rename-type-id

Conversation

@igamigo
Copy link
Collaborator

@igamigo igamigo commented Feb 23, 2026

@PhilippGackstatter brought up the good point that the Id part of SchemaTypeId is a bit redundant.
I know #2390 adds some code related to this so maybe we can wait until that's merged to revisit this. I tried pushing a branch to the fork on top of @onurinanc 's branch but I do not have permissions, so I can't properly base this branch off of that one.

@igamigo igamigo force-pushed the igamigo-rename-type-id branch from 0f9cd52 to ba1f740 Compare February 23, 2026 12:21
@mmagician mmagician added the pr-from-maintainers PRs that come from internal contributors or integration partners. They should be given priority label Feb 23, 2026
@igamigo igamigo changed the title Igamigo rename type chore: rename SchemaTypeId Feb 23, 2026
@PhilippGackstatter
Copy link
Contributor

Now that #2390 is merged, could you rebase this PR onto next?

@igamigo igamigo force-pushed the igamigo-rename-type-id branch from 5530ee7 to 7e6c6e0 Compare February 25, 2026 14:31
@igamigo igamigo force-pushed the igamigo-rename-type-id branch from 7e6c6e0 to ac0631d Compare February 25, 2026 14:33
@igamigo igamigo marked this pull request as ready for review February 25, 2026 14:35
@igamigo
Copy link
Collaborator Author

igamigo commented Feb 25, 2026

Now that #2390 is merged, could you rebase this PR onto next?

Yes, done!

Copy link
Contributor

@bobbinth bobbinth left a comment

Choose a reason for hiding this comment

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

Looks good! Thank you!

@bobbinth bobbinth merged commit a15dc57 into next Feb 25, 2026
18 checks passed
@bobbinth bobbinth deleted the igamigo-rename-type-id branch February 25, 2026 19:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-from-maintainers PRs that come from internal contributors or integration partners. They should be given priority

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants