Remove gitlint config

This wasn't terribly useful to begin with given our commit conventions are so simple, and removing it saves an additional build step/dependency.
inko-lang · May 30, 2024 · 7df379a · 7df379a
1 parent 81a56d6
commit 7df379a
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 121 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -20,16 +20,6 @@ jobs:
       - uses: actions/checkout@v4
       - uses: EmbarkStudios/cargo-deny-action@v1
 
-  gitlint:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          fetch-depth: 10
-      - run: pip install gitlint
-      - run: git config --global --add safe.directory $PWD
-      - run: gitlint --commits "HEAD~9..HEAD"
-
   cargo-clippy:
     runs-on: ubuntu-latest
     container:

diff --git a/.gitlint b/.gitlint
diff --git a/gitlint/body_line_length.py b/gitlint/body_line_length.py
diff --git a/gitlint/subject_capital.py b/gitlint/subject_capital.py
diff --git a/gitlint/trailing_punctuation.py b/gitlint/trailing_punctuation.py