diff --git a/bin/pin b/bin/pin
index 339795ebab53b6f9b02c9c5f4126e1375fb69904_YmluL3Bpbg==..43ca4b26471e0b5ec8ab14567b98bc9410a4c3c2_YmluL3Bpbg== 100755
--- a/bin/pin
+++ b/bin/pin
@@ -23,6 +23,7 @@
     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
@@ -26,7 +27,7 @@
       echo "$line"
       exit
     else
-      debug "Not found"
+      debug "No pinning found"
     fi
   done