ruff
[red-knot] Remove an unnecessary branch and a confusing TODO comment
#14915
Merged
Overview
Commits
1
Changes
View On GitHub

[red-knot] Remove an unnecessary branch and a confusing TODO comment #14915

AlexWaygood merged 1 commit into main from alex/unnecessary-redknot-branch
AlexWaygood
AlexWaygood [red-knot] Remove an unnecessary branch and a confusing TODO comment
4931ef84
AlexWaygood AlexWaygood added ty
AlexWaygood AlexWaygood requested a review from carljm carljm 1 year ago
AlexWaygood AlexWaygood requested a review from MichaReiser MichaReiser 1 year ago
AlexWaygood AlexWaygood requested a review from sharkdp sharkdp 1 year ago
github-actions
carljm
carljm approved these changes on 2024-12-11
AlexWaygood AlexWaygood merged ef153a0c into main 1 year ago
AlexWaygood AlexWaygood deleted the alex/unnecessary-redknot-branch branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum