From 3490ea914ead2d817d05c1f66a8db9cf1e119c13 Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Tue, 15 Feb 2022 14:36:22 +0100
Subject: [PATCH] Detect pins in submissions and fail (#449)

---
 scripts/gh-build-crate.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/gh-build-crate.sh b/scripts/gh-build-crate.sh
index 38571cea..a6c2613b 100755
--- a/scripts/gh-build-crate.sh
+++ b/scripts/gh-build-crate.sh
@@ -83,6 +83,12 @@ for file in $CHANGES; do
    alr show --solve --detail --external-detect $milestone
    solution=$(alr show --solve --detail --external-detect $milestone)
 
+   # Fail if there are pins in the manifest
+   if grep -q 'Pins (direct)' <<< $crateinfo ; then
+      echo "FAIL: release $milestone manifest contains pins"
+      exit 1
+   fi
+
    # Skip on explicit unavailability
    if alr show --system $milestone | grep -q 'Available when: False'; then
       echo SKIPPING crate build: $milestone UNAVAILABLE on system