3 # Not for general consumption; a script I used to make sure
4 # I do not accidentally push a rewound master to public.
13 *,--no-fetch) no_fetch
=t
; shift ;;
14 *,--*) echo >&2 "unknown option $1"; exit 1 ;;
19 if test -z "$no_fetch"
24 mb
=$
(git merge-base
$ko/$MASTER $MASTER)
25 h
=$
(git rev-parse
$mb $ko/$MASTER |
sort -u |
wc -l)
28 echo "OOOOOPPPPPPPPPPPPPPSSS! $MASTER is not $ko/$MASTER fast forward."
31 git show-branch
--topo-order $ko/$MASTER $MASTER
32 git show-branch
--topo-order $ko/maint maint
33 git show-branch
--topo-order $ko/next next
34 git show-branch
--topo-order $ko/seen seen