You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

19 lines
552 B

#!/bin/sh
#
# Not for general consumption; a script I used to make sure
# I do not accidentally push a rewound master to public.
case "$1" in --no-fetch) shift ;; *) git fetch ko ;; esac
mb=$(git merge-base ko/master master)
h=$(git rev-parse $mb ko/master | sort -u | wc -l)
if test "$h" != 1
then
echo "OOOOOPPPPPPPPPPPPPPSSS! master is not ko/master fast forward."
exit 1
fi
git show-branch --topo-order ko/master master
git show-branch --topo-order ko/maint maint
git show-branch --topo-order ko/next next
git show-branch --topo-order ko/pu pu