new default pushtype for git 1.7