Skip to content

Commit 8ecb1c0

Browse files
committed
Meta/CheckPush: really make sure 'match next' point on 'pu' matches 'next'
1 parent 54c4940 commit 8ecb1c0

File tree

1 file changed

+11
-9
lines changed

1 file changed

+11
-9
lines changed

CheckPush

Lines changed: 11 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -55,13 +55,18 @@ do
5555
fi
5656
done
5757

58-
if next_tree=$(git rev-parse next^{tree}) &&
58+
if ! next_equiv=$(git rev-parse --verify 'jch^{/^### match next}' 2>/dev/null) ||
59+
! git diff --stat --exit-code next $next_equiv
60+
then
61+
next_tree=$(git rev-parse next^{tree}) &&
5962
next_equiv=$(git rev-list --first-parent master..pu |
60-
xargs -n1 sh -c '
61-
echo $(git rev-parse $1^{tree}) $1
62-
' - | sed -n -e "s/^$next_tree //p"
63-
) &&
64-
test -n "$next_equiv"
63+
xargs -n1 sh -c '
64+
echo $(git rev-parse $1^{tree}) $1
65+
' - | sed -n -e "s/^$next_tree //p"
66+
)
67+
fi
68+
69+
if test -n "$next_equiv"
6570
then
6671
jch=$(git rev-list --first-parent master..jch | wc -l) &&
6772
pu=$(git rev-list --first-parent master..pu | wc -l) &&
@@ -72,7 +77,4 @@ then
7277
else
7378
echo "master..$next..next..$jch..jch..$pu..pu"
7479
fi
75-
elif match_next=$(git rev-parse 'jch^{/^### match next$}' 2>/dev/null)
76-
then
77-
git diff --stat "$match_next" next
7880
fi

0 commit comments

Comments
 (0)