[fdo] Syncing GitLab repos to GitHub counterpart

[Daniel Stone]

Hi Pavan,

On Fri, 11 Feb 2022 at 23:32, Pavan Holla <pholla at google.com> wrote:
> We are from the ChromiumOS team within Google. We routinely sync to https://github.com/freedesktop/libmbim/commits/main to grab the latest commits made upstream. We also track github.com/freedesktop for libqmi, libqrtr and modemmanager. Sometimes, we find that  https://github.com/freedesktop/libmbim/commits/main does not fetch commits from https://gitlab.freedesktop.org/mobile-broadband/libmbim . All our tooling is set up to mirror github repos, thus we prefer to track the github repo. We would like to reach out to the maintainer of the github repo to understand how we can contribute to keeping the gitlab and github repos in sync. Could someone help us reach the github admins for libmbim, libqmi, modemmanager?

Those people are us.

gitlab.fd.o is absolutely the primary authoritative source for our
repositories. We maintain read-only GitHub mirrors as a best-effort
endeavour: mainly so that we can keep track of coherent fork networks
for our projects.

A few weeks ago, we had a blip during a major maintenance effort where
we temporarily lost our push mirroring. Whilst it was a one-off and
not systematic, GitHub will always be a best-effort mirror and not the
first-class home of our projects.

I would encourage you to develop your tooling so it is able to monitor
and fetch from other sources than GitHub, as many other projects do
not have their primary sources on GitHub either. If there is anything
we can do to make this easier, we'd be happy to hear and consider it.

Cheers,
Daniel