6 : "${target:=maint}" "${here:=$MASTER}"
8 # Read from RelNotes and find mergeable topics
12 git rev-list --parents --first-parent $target..$here >"$tmp"
15 x40="$x40$x40$x40$x40$x40"
16 x40="$x40$x40$x40$x40$x40$x40$x40$x40"
17 sed -n -e 's/^ (merge \([0-9a-f]*\) \([^ ]*\) later to maint.*/\1 \2/p' |
20 if ! full_sha1=$(git rev-parse --verify "$sha1")
22 echo >&2 "Not found: $sha1 $topic"
27 if ! git show-ref --quiet --verify "refs/heads/$topic"
30 tip=$full_sha1 topic=$sha1
31 elif tip=$(git rev-parse --verify "refs/heads/$topic") &&
32 test "$tip" != "$full_sha1"
34 echo >&2 "$topic # $tip moved from $sha1"
40 sed -ne "s/^\($x40\) $x40 $tip"'$/\1/p' "$tmp"
44 git show -s --format='%ar' $fp
46 lg=$(git log --oneline $target..$tip | wc -l)
49 echo "$topic # $lg${ago+ ($ago)}${comment+ $comment}"
51 echo "# $topic already merged${ago+ ($ago)}${comment+ $comment}"
60 target=${2?"-t target???"}
61 git show-ref --quiet --verify "refs/heads/$target" || {
62 echo >&2 "$target: no such branch"
82 sha1=$(git rev-parse --short $topic)
83 echo " (merge $sha1 $topic later to maint)."