fix(git): import BadName directly to fix pyright errors#3139
Merged
felixweinberger merged 1 commit intomainfrom Dec 18, 2025
Merged
fix(git): import BadName directly to fix pyright errors#3139felixweinberger merged 1 commit intomainfrom
felixweinberger merged 1 commit intomainfrom