# HG changeset patch
# User Ingy döt Net <ingy@ingy.net>
# Date 1590453262 25200
#      Mon May 25 17:34:22 2020 -0700
# Node ID 43ca4b26471e0b5ec8ab14567b98bc9410a4c3c2
# Parent  339795ebab53b6f9b02c9c5f4126e1375fb69904
More bin/pin debug messages

diff --git a/bin/pin b/bin/pin
--- a/bin/pin
+++ b/bin/pin
@@ -23,10 +23,11 @@
     debug "cd ../..; git merge-base --is-ancestor $commit_master HEAD"
 
     if (cd ../..; git merge-base --is-ancestor "$commit_master" HEAD 2>/dev/null); then
+      debug "Found pinning: '$line'"
       echo "$line"
       exit
     else
-      debug "Not found"
+      debug "No pinning found"
     fi
   done