Re: New repository - libosmo-gprs.git

On 8/18/22 16:11, Neels Hofmeyr wrote:

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.

Please review the patch, repositories only on gitea are cloned from gitea.