push default is now current for older git versions