Fix no-cheat check (#1092)

Author: nfx

.github/workflows/no-cheat.sh

@@ -0,0 +1,8 @@
+#!/bin/sh
+
+NEW_CODE=$(git diff origin/main..$(git branch --show-current) | grep -e '^+')
+CHEAT=$(echo "${NEW_CODE}" | grep '# pylint: disable')
+if [ -n "${CHEAT}" ]; then
+  echo "Do not cheat the linter: ${CHEAT}"
+  exit 1
+fi

.github/workflows/push.yml

@@ -71,10 +71,4 @@ jobs:
           fetch-depth: 0
 
       - name: Verify no lint disabled in the new code
-        run: |
-          NEW_CODE=$(git diff origin/main..$(git branch --show-current) | grep -e '^+')
-          CHEAT=$(echo "${NEW_CODE}" | grep '# pylint: disable')
-          if [ -n "${CHEAT}" ]; then
-            echo "Do not cheat the linter: ${CHEAT}"
-            exit 1
-          fi
+        run: sh .github/workflows/no-cheat.sh