fz0x1/HPI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

general: update mypy config, seems that logs of type: ignore aren't necessary anymore

Browse source
This commit is contained in:
Dima Gerasimov 2023-05-15 21:53:33 +01:00 • committed by karlicoss
parent a445d2cbfe
commit c34656e8fb
52 changed files with 142 additions and 105 deletions
Download patch file Download diff file Expand all files Collapse all files

4
my/coding/commits.py
View file

@ -38,8 +38,8 @@ def config() -> commits_cfg:
##########################
import git # type: ignore
from git.repo.fun import is_git_dir # type: ignore
import git
from git.repo.fun import is_git_dir
log = LazyLogger(__name__, level='info')