From cc9cb7b587cc152c7510c0f69b575330e4e4ff39 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ingy=20d=C3=B6t=20Net?= Date: Mon, 25 May 2020 17:34:22 -0700 Subject: More bin/pin debug messages --- bin/pin | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit v1.2.1