Revert "Switch to using the incremental pylint. Turn on documentation linters."

.github/workflows/ci.yml

@@ -102,23 +102,6 @@ jobs:
         run: check/pylint --version
       - name: Lint
         run: check/pylint -v
-  incremental_lint:
-    name: Incremental Lint check
-    runs-on: ubuntu-20.04
-    steps:
-      - uses: actions/checkout@v2
-        with:
-          fetch-depth: 0
-      - uses: actions/setup-python@v1
-        with:
-          python-version: '3.8'
-          architecture: 'x64'
-      - name: Install pylint
-        run: pip install -r dev_tools/requirements/deps/pylint.txt
-      - name: Display version
-        run: check/pylint --version
-      - name: Lint
-        run: check/pylint-changed-files
   doc_test:
     name: Doc test
     runs-on: ubuntu-20.04

check/pylint-changed-files

@@ -64,5 +64,5 @@ echo "Found ${num_changed} lintable files associated with changes." >&2
 if [ "${num_changed}" -eq 0 ]; then
     exit 0
 fi
-pylint --rcfile=dev_tools/conf/incremental.pylintrc ${changed[@]}
+pylint --rcfile=dev_tools/conf/.pylintrc ${changed[@]}
 

dev_tools/bash_scripts_test.py

@@ -617,7 +617,7 @@ def test_pylint_changed_files_file_selection(tmpdir_factory):
         ).split()
     )
 
-    intercepted_prefix = 'INTERCEPTED pylint --rcfile=dev_tools/conf/incremental.pylintrc '
+    intercepted_prefix = 'INTERCEPTED pylint --rcfile=dev_tools/conf/.pylintrc '
 
     result = run(
         script_file='check/pylint-changed-files',