Setting newer push default causes problems on older versions of git, while it only give a warning on newer ones