It would be nice to have, if such a refresh (usually made after "git bisect
bad|good") would automatically jump to the current (new) commit id too isn't
it ?
Please Cc: me b/c I'm not subscribed.
--
MfG/Sincerely
Toralf Förster
pgp finger print: 7B1A 07F4 EC82 0F90 D4C2 8936 872A E508 7DB6 9DA3