Re: Git mirror at gitlab

From

Junio C Hamano <gitster@pobox.com>

Date

Mar 21, 2024, 16:34 UTC

Message-ID

<xmqqy1aba6i6.fsf@gitster.g>

In-Reply-To

<ZfwY_h70OeuRT7mk@tanuki>

Patrick Steinhardt <ps@pks.im> writes:

>> Circling back on this topic: https://gitlab.com/git is unfortunately
>> taken, so it's out of question. I'd say the most pragmatic thing to do
>> would thus be to retain the already-existing location of the official
>> mirror at GitLab.

https://gitlab.com/git/ sems to give us 404, though.

> I still have not been able to reach Ævar until now. Unless somebody else
> has a way to contact him directly we at GitLab are wondering how to
> continue.

> It would certainly be great to set up ownership of whatever solution we
> arrive at such that it's more distributed across the community so that
> we don't have a single point of failure in the future. Also, I don't
> want us at GitLab to be the sole owners of the mirror, so I have been
> wondering how the other mirrors are set up and whom we should add to any
> such mirror.

> In any case, once things are arranged I will collaborate with our
> support folks to get free CI minutes for the new mirror.

Wonderful.

Thanks.