summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTina Müller <cpan2@tinita.de>2020-05-25 12:57:15 +0200
committerTina Müller <cpan2@tinita.de>2020-05-25 13:18:22 +0200
commit26ae55e0df5797c5e1980c79fc21545eddc954a7 (patch)
tree047805f782cc86871311bdbd632cee7052cd1b28
parenta718a893542e7cf9ab8862d2ef8c43d33644cc8d (diff)
downloadlibyaml-git-26ae55e0df5797c5e1980c79fc21545eddc954a7.tar.gz
debug
-rwxr-xr-xbin/pin4
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/pin b/bin/pin
index 254642b..005c6dd 100755
--- a/bin/pin
+++ b/bin/pin
@@ -5,6 +5,10 @@ tac conf/pin.tsv |
while read -r line; do
commit_master=$(echo "$line" | cut -f1)
+ echo "[debug] line $line" >&2
+ echo "[debug] Trying commit $commit_master" >&2
+ echo "[debug] cd ../..; git merge-base --is-ancestor $commit_master HEAD" >&2
+ (cd ../..; git merge-base --is-ancestor "$commit_master" HEAD || echo "no" >&2)
if (cd ../..; git merge-base --is-ancestor "$commit_master" HEAD 2>/dev/null); then
echo "$line"
exit