6 # Read from RelNotes and find mergeable topics
10 git rev-list
--parents --first-parent $target..master
>"$tmp"
13 x40
="$x40$x40$x40$x40$x40"
14 x40
="$x40$x40$x40$x40$x40$x40$x40$x40"
15 sed -n -e 's/^ (merge \([0-9a-f]*\) \([^ ]*\) later to maint.*/\1 \2/p' |
18 if ! full_sha1
=$
(git rev-parse
--verify "$sha1")
20 echo >&2 "Not found: $sha1 $topic"
25 if ! git show-ref
--quiet --verify "refs/heads/$topic"
28 tip
=$full_sha1 topic
=$sha1
29 elif tip
=$
(git rev-parse
--verify "refs/heads/$topic") &&
30 test "$tip" != "$full_sha1"
32 echo >&2 "$tip moved from $sha1"
38 sed -ne "s/^\($x40\) $x40 $tip"'$/\1/p' "$tmp"
42 git show
-s --format='%ar' $fp
44 lg
=$
(git log
--oneline $target..
$tip |
wc -l)
47 echo "$topic # $lg${ago+ ($ago)}${comment+ $comment}"
49 echo "# $topic already merged${ago+ ($ago)}${comment+ $comment}"
58 target
=${2?"-t target???"}
59 git show-ref
--quiet --verify "refs/heads/$target" ||
{
60 echo >&2 "$target: no such branch"
80 sha1
=$
(git rev-parse
--short $topic)
81 echo " (merge $sha1 $topic later to maint)."