5 echo "$0: <commit id> [<top tag> [<linus branch>]]" 1>&2
10 [ "$top" ] || top=HEAD
13 [ "$linus" ] || linus=origin/master
15 base=$(git merge-base "$linus" "$top")
17 git log --first-parent --pretty='format:%H %P' "$base".."$top" |
21 git rev-list $base..$p2 | grep -q "$commit" || continue
22 branch=$(git show $m | sed -n "s/[ ]*Merge .* '\([^']*\)'/\1/p")
24 [ "$tree" = "quilt" ] && tree=${branch##*/}