On Thu, Aug 18, 2022 at 11:48:05AM +0200, Oliver Smith wrote:
I propose we clone from gerrit for now: https://gerrit.osmocom.org/c/osmo-ci/+/29153
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