git: Work around wrong default argument of 'clone'.