ci: don't lint for uptodate CONTRIBUTORS.md

A PR in itself isn't enough to cause the Github contributors API to update, it will only update once the PR is merged. Hence checking that the CONTRIBUTORS.md file is uptodate from a PR won't work.
openlawlibrary · Jul 7, 2023 · 357ff12 · 357ff12
1 parent c87b003
commit 357ff12
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 28 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -50,13 +50,11 @@ test-pyodide = "python tests/pyodide_testrunner/run.py"
 ruff = "ruff check ."
 mypy = "mypy -p pygls"
 check_generated_client = "python scripts/check_client_is_uptodate.py"
-check_contributors_md = "python scripts/check_contributors_md_is_uptodate.py"
 check_commit_style = "npx commitlint --from origin/main --to HEAD --verbose --config commitlintrc.yaml"
 lint = [
     "ruff",
     "mypy",
     "check_generated_client",
-    "check_contributors_md",
     "check_commit_style"
 ]
 generate_client = "python scripts/generate_client.py --output pygls/lsp/client.py"

diff --git a/scripts/check_contributors_md_is_uptodate.py b/scripts/check_contributors_md_is_uptodate.py