On Sat, Jul 16, 2022 at 04:27:38PM -0400, Rich Freeman wrote:
> On Sat, Jul 16, 2022 at 3:56 PM John Helmert III <ajak@gentoo.org> wrote:
> >
> > On Thu, Jul 14, 2022 at 06:35:32PM -0400, Rich Freeman wrote:
> > >
> > > I get the sentiment, but I don't see what direct impact it will have.
> > > If Gentoo stops using Github all our code will inevitably still be on
> > > there and will still end up being used to train copilot.
> >
> > Inevitably? If most of our activity moves somewhere else, I don't see
> > why we couldn't blow away all of https://github.com/gentoo.
> >
> 
> Setting aside any concerns about pull requests/etc that are
> effectively stored only there, even if we deleted it we're still
> talking about git.  Sooner or later somebody will push a copy of
> things there, so even if we aren't proactively mirroring repositories
> anything anybody does that is GPL is pretty likely to end up there.  A
> repo might be gitlab-only for years, and then somebody does a git
> push, and now the entire history is on github the same as if we were
> doing every push there the whole time.

What someone else does is irrelivent. I'm just talking about the
cannonical places where we store repos and accept pull requests from.

Of course someone could push everything back to github; however, there
is nothing we can do about that so that is completely moot for this
discussion.

William