git clone in https to avoid ssh