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