On Thu, Aug 18, 2022 at 11:48:05AM +0200, Oliver Smith wrote:
Cloning from gerrit also makes sense because there is no delay between
pushing/merging and the repos being updated.
But, I understand the idea behind gitea was that users can create their own
repositories. If we use gerrit as the git source for CI, we deny all user
created repositories the possibility of using osmo-ci infrastructire.
So I'm not sure that we want gerrit to be regarded as the primary repository;
though it de-facto already is for most active projects. (I have nostalgia for
the times when
git.osmocom.org was the only place for repositories.)
I'm not sure what the intention is at the moment,
i.e. which is the one definitive primary git:
Is it gitea.osmocom.org?
Those are mostly mirrors of gerrit.
There is often a delay between merging patches (gerrit) and seeing them here.
Is it git.osmocom.org?
Served by cgit and labeled "Legacy mirror"
There is often a delay between merging patches (gerrit) and seeing them here.
Is it gerrit.osmocom.org?
Not all projects are there.
Weird Java implementation of git, though works for all intents and purposes.
Definitely not github/gitlab.
~N