mirror of
https://github.com/aclist/dztui.git
synced 2026-10-25 12:12:31 +01:00
chore: add dotfiles
This commit is contained in:
1 parent
2e5b771137
commit
78750a656d
2 files changed
+24
No files matched your search
@@ -0,0 +1,8 @@
|
||||
*.egg*
|
||||
__pycache__
|
||||
prio.otl
|
||||
bugs
|
||||
build/
|
||||
.ruff_cache/
|
||||
.pytest_cache/
|
||||
.mypy_cache/
|
||||
@@ -0,0 +1,16 @@
|
||||
repos:
|
||||
- repo: https://github.com/astral-sh/ruff-pre-commit
|
||||
rev: v0.14.6
|
||||
hooks:
|
||||
- id: ruff-check
|
||||
- repo: https://github.com/pre-commit/mirrors-mypy
|
||||
rev: v1.18.2
|
||||
hooks:
|
||||
- id: mypy
|
||||
args: [--strict, --ignore-missing-imports]
|
||||
- repo: local
|
||||
hooks:
|
||||
- id: copy-clog
|
||||
name: Copy CHANGELOG.md to package data dir
|
||||
entry: python scripts/copy_changelog.py
|
||||
language: system
|
||||
Reference in new issue
Block a user