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='%ad' --date=short
$fp
46 lg
=$
(git log
--oneline $target..
$tip |
wc -l)
50 echo "# $topic not yet merged to $here"
53 echo "$topic # $lg${ago+ ($ago)}${comment+ $comment}"
55 echo "# $topic already merged${ago+ ($ago)}${comment+ $comment}"
64 target
=${2?"-t target???"}
65 git show-ref
--quiet --verify "refs/heads/$target" ||
{
66 echo >&2 "$target: no such branch"
86 sha1
=$
(git rev-parse
--short $topic)
87 echo " (merge $sha1 $topic later to maint)."