Skip to content

Rename id_ attrs to id (add id to builtins-ignorelist) #112

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 1 commit into from
Apr 15, 2024
Merged

Rename id_ attrs to id (add id to builtins-ignorelist) #112

merged 1 commit into from
Apr 15, 2024

Conversation

vdusek
Copy link
Collaborator

@vdusek vdusek commented Apr 15, 2024

No description provided.

@vdusek vdusek added t-tooling Issues with this label are in the ownership of the tooling team. adhoc Ad-hoc unplanned task added during the sprint. labels Apr 15, 2024
@vdusek vdusek added this to the 87th sprint - Tooling team milestone Apr 15, 2024
@vdusek vdusek requested a review from janbuchar April 15, 2024 14:10
@vdusek vdusek self-assigned this Apr 15, 2024
@github-actions github-actions bot added the tested Temporary label used only programatically for some analytics. label Apr 15, 2024
@vdusek vdusek merged commit d33d1c5 into master Apr 15, 2024
19 checks passed
@vdusek vdusek deleted the ignore-id-shadowing branch April 15, 2024 14:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@janbuchar janbuchar janbuchar approved these changes

Assignees

@vdusek vdusek

Labels
adhoc Ad-hoc unplanned task added during the sprint. t-tooling Issues with this label are in the ownership of the tooling team. tested Temporary label used only programatically for some analytics.
Projects
None yet
Milestone
87th sprint - Tooling team
Development

Successfully merging this pull request may close these issues.
2 participants
@vdusek @janbuchar