Re: [gentoo-project] Repo mirror & CI: official statement wrt GitHub

[kuzetsa]

On 06/09/2018 03:25 AM, Michał Górny wrote:

{...}

> As for moving mirrors elsewhere, I don't really see much of a purpose
> in doing that; at least as long as GitHub provides the service for free
> and doesn't complain about the space or the traffic involved.
> The primary use of the service is through git, so I don't really think
> it matters where the servers stand.  Moving them elsewhere sounds like
> an unnecessary complexity for our users who'd have to update repos.conf.

{...}

> I'm ready and willing to support GitHub pull requests as long as there's
> interest in contributors using them, and the terms of service don't
> cause us any major trouble.  That said, this particular project doesn't
> have much of a say how users decide to submit contributions and/or how
> developers wish to accept them.

{...}

> To those who believe moving out of GitHub is the only thing to do,
> I would like to remind you of two things.  Firstly, if Microsoft indeed
> has malicious intent, then they've already won because you've let them
> fragment the community.  Secondly, how do you know that GitLab won't be
> sold to another 'big player' soon enough?

This is sensible to me.

for non-developers who already contribute using a
git-based workflow, all github does (for example: for me
in-particular) is provide a convenient way to validate
that the commit was made by me and not someone else.

so long as repoman's default requirement that commits
should be signed, the github infrastructure knows which
PGP key is mine, and marks my commits as verified. for my
comfort, the increased effort to use a different workflow
(switching infra for git pushes) would be trivial, but
the burden is still a burden. a needless burden.

adding an //alternative// won't help me personally, but I
can only speak for myself. maybe some people feel more
strongly and would prefer a boycott. I'm not advocating
for this, but if some people opt to do so I'll probably
just keep using my current workflow. the added effort
to use a different method should be optional, I feel.

I see no utility to fix something which some people feel
isn't broken. so long as dropping github doesn't happen,
adding gitlab (or any other method) shouldn't affect me.
rather, it would add //an option// for people who feel the
need to use "not github", and that //can// be a positive.

--kuza