Adopting new git push default behaviour