1 files changed, 19 insertions, 0 deletions
diff --git a/bin/pin b/bin/pin
new file mode 100755
index 0000000..10a900e
--- /dev/null
+++ b/bin/pin
@@ -0,0 +1,19 @@
+#!/bin/bash
+
+(
+  while read line; do
+    commit_master=$(echo "$line" | cut -f1)
+
+    if (cd ../..; git merge-base --is-ancestor $commit_master HEAD 2>/dev/null); then
+      echo "$line"
+      exit
+    fi
+  done
+
+  echo 'WARNING: No repository pinning found for libyaml/yaml-test-suite testing.' >&2
+  echo 'WARNING: Defaulting to HEAD...' >&2
+
+  echo -e "HEAD\tHEAD\tHEAD"
+
+) < conf/pin.tsv
+