Skip to content

fix(git): import BadName directly to fix pyright errors#3139

Merged
felixweinberger merged 1 commit intomainfrom
fix-git-server-pyright-errors
Dec 18, 2025
Merged

fix(git): import BadName directly to fix pyright errors#3139
felixweinberger merged 1 commit intomainfrom
fix-git-server-pyright-errors

Commits

Commits on Dec 18, 2025