From f01b2dfe28636a257f500f549a2aa719e348c313 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 14 Feb 2026 10:13:00 +0100
Subject: [PATCH] Actions: Remove commit-validation.yml workflow.

This is useless because it runs after the push; we need this
check for pull requests but not for core committers. (They should
use a pre-commit hook.)
---
 .github/workflows/commit-validation.yml | 39 -------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 .github/workflows/commit-validation.yml

diff --git a/.github/workflows/commit-validation.yml b/.github/workflows/commit-validation.yml
deleted file mode 100644
index ed9738442..000000000
--- a/.github/workflows/commit-validation.yml
+++ /dev/null
@@ -1,39 +0,0 @@
-name: commit-validation
-on: [ push ]
-
-permissions:
-  contents: read
-
-jobs:
-  check-commit-msg-length:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v6
-    - name: Check commit message length
-      id: check-commit-msg-length
-      uses: actions/github-script@v8
-      with:
-        result-encoding: json
-        script: |
-          var longlines = 0;
-          const commits = ${{ toJSON(github.event.commits) }};
-          for (const commit of commits) {
-            for (const line of commit.message.split('\n')) {
-              if (line.length > 78) {
-                 longlines += 1;
-                 console.log("Overlong line:\n" + line);
-              }
-            }
-          }
-          return longlines
-    - name: Get result
-      run: |
-        result=${{steps.check-commit-msg-length.outputs.result}}
-        if [[ $result -eq 0 ]]; then
-          echo "Ok"
-          exit 0
-        else
-          echo "Commit messages contain $result lines longer than 78 characters."
-          echo "See under 'Check commit message length' for a list of the lines."
-          exit 1
-        fi