4 # Read from RelNotes and find mergeable topics
8 git rev-list
--parents --first-parent maint..master
>"$tmp"
11 x40
="$x40$x40$x40$x40$x40"
12 x40
="$x40$x40$x40$x40$x40$x40$x40$x40"
13 sed -n -e 's/^ (merge \([0-9a-f]*\) \([^ ]*\) later to maint.*/\1 \2/p' |
16 if ! full_sha1
=$
(git rev-parse
--verify "$sha1")
18 echo >&2 "Not found: $sha1 $topic"
23 if ! git show-ref
--quiet --verify "refs/heads/$topic" &&
24 test $
(git log
--oneline maint..
$full_sha1 |
wc -l) != 0
27 tip
=$full_sha1 topic
=$sha1
28 elif tip
=$
(git rev-parse
--verify "refs/heads/$topic") &&
29 test "$tip" != "$full_sha1"
31 echo >&2 "$tip moved from $sha1"
36 sed -ne "s/^\($x40\) $x40 $tip"'$/\1/p' "$tmp"
39 git show
-s --format='%ar' $fp
41 lg
=$
(git log
--oneline maint..
$tip |
wc -l)
44 echo "$topic # $lg${ago+ ($ago)}${comment+ $comment}"
46 echo "# $topic already merged${ago+ ($ago)}${comment+ $comment}"
60 sha1
=$
(git rev-parse
--short $topic)
61 echo " (merge $sha1 $topic later to maint)."