prefer simple bash test; set push.default in gitconfig