Skip to content

Prefix new variables to avoid clashes with user code#812

Merged
badboy merged 1 commit intomainfrom
push-kqznqupxvswu
Oct 7, 2025
Merged

Prefix new variables to avoid clashes with user code#812
badboy merged 1 commit intomainfrom
push-kqznqupxvswu

Conversation

@badboy
Copy link
Member

@badboy badboy commented Oct 7, 2025

Pull Request checklist

  • Quality: This PR builds and tests run cleanly
    • make test runs without emitting any warnings
    • make lint runs without emitting any errors
  • Tests: This PR includes thorough tests or an explanation of why it does not
  • Changelog: This PR includes a changelog entry to CHANGELOG.md or an explanation of why it does not need one
    • Any breaking changes to language binding APIs are noted explicitly

@badboy badboy requested a review from a team as a code owner October 7, 2025 14:34
@badboy badboy requested review from chutten and removed request for a team October 7, 2025 14:34
@badboy badboy merged commit 4617c37 into main Oct 7, 2025
8 checks passed
@badboy badboy deleted the push-kqznqupxvswu branch October 7, 2025 14:55
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.

2 participants