adopting git 2.0 new global push behavior default: simple