rultor: Check maintainership pre-merge

.misc/check_maintainership.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+# Do not use `set -x` here as then it displays the PYPIPW in logs
+set -e
+
+# Get environment variables, readily decrypted by rultor
+source ../rultor_secrets.sh
+
+# Make sure the user is a maintainer
+if curl "https://api.github.com/teams/1238757/memberships/${author}?access_token=${GITHUB_TOKEN}" | grep -vq "active"; then
+    echo "@${author} is not in the maintainers group."
+    exit 1
+fi

.rultor.yml

@@ -9,6 +9,7 @@ merge:
   fast-forward: only
   script:
     - python3 .misc/adjust_version_number.py coalib/VERSION -b `date --utc +%Y%m%d%H%M%S`
+    - bash .misc/check_maintainership.sh
     - bash .misc/deploy.pypi.sh
 
 release: