summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/pin3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/pin b/bin/pin
index 7393be1..1632132 100755
--- a/bin/pin
+++ b/bin/pin
@@ -23,10 +23,11 @@ tac |
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