chore: move linter config into folder (#11)

### Summary of Changes Move linter configuration files into `.github/linters` to reduce the number of files at the top level. --------- Co-authored-by: lars-reimann <lars-reimann@users.noreply.github.com>
Safe-DS · Mar 13, 2023 · fd9f4f9 · fd9f4f9
1 parent 68d0e1c
commit fd9f4f9
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 5 deletions.
diff --git a/.flake8 → .github/linters/.flake8 b/.flake8 → .github/linters/.flake8
diff --git a/.markdown-link-check.json → .github/linters/.markdown-link-check.json b/.markdown-link-check.json → .github/linters/.markdown-link-check.json
diff --git a/.github/linters/.mypy.ini b/.github/linters/.mypy.ini
@@ -0,0 +1,4 @@
+[mypy]
+disallow_incomplete_defs = true
+disallow_untyped_defs = true
+ignore_missing_imports = true
diff --git a/.pylintrc → .github/linters/.pylintrc b/.pylintrc → .github/linters/.pylintrc
diff --git a/pyproject.toml b/pyproject.toml
@@ -35,8 +35,3 @@ mkdocs-section-index = "^0.3.5"
 [build-system]
 requires = ["poetry-core"]
 build-backend = "poetry.core.masonry.api"
-
-[tool.mypy]
-disallow_incomplete_defs = true
-disallow_untyped_defs = true
-ignore_missing_imports = true