set push default to something compatible with old git