From a4d37e4014160dcaa0812ba1332d9c6eca65ca71 Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Mon, 6 Jan 2020 15:37:21 +1000
Subject: [PATCH] split contrib check into separate file

---
 .github/scripts/contrib.sh    | 8 ++++++++
 .github/workflows/contrib.yml | 3 +--
 2 files changed, 9 insertions(+), 2 deletions(-)
 create mode 100755 .github/scripts/contrib.sh

diff --git a/.github/scripts/contrib.sh b/.github/scripts/contrib.sh
new file mode 100755
index 000000000..ec1415794
--- /dev/null
+++ b/.github/scripts/contrib.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+set -e
+
+headAuthor=$(git log -1 --pretty=format:'%ae')
+git log --pretty=format:'%ae' CONTRIBUTORS | grep -q "$headAuthor"
+
+echo "$headAuthor found in CONTRIBUTORS"
diff --git a/.github/workflows/contrib.yml b/.github/workflows/contrib.yml
index 45bb0f646..b49f18b9f 100644
--- a/.github/workflows/contrib.yml
+++ b/.github/workflows/contrib.yml
@@ -9,5 +9,4 @@ jobs:
       - uses: actions/checkout@v2
       - name: Check
         run: |
-          headAuthor=$(git log -1 --pretty=format:'%ae')
-          git log --pretty=format:'%ae' CONTRIBUTORS | grep -q "$headAuthor"
+          .github/scripts/contrib.sh