mirror of
https://github.com/git/git
synced 2024-10-01 22:25:58 +00:00
19 lines
552 B
Bash
Executable file
19 lines
552 B
Bash
Executable file
#!/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
|