On Thu, 2019-10-10 at 14:48 +0200, Rolf Eike Beer wrote:
> > > > > Please pick this up and move it somewhere into Gentoo git
> > > > > infrastructure. I can transfer ownership to the Github Gentoo
> > > > > organization if you would like.
> > > > > Afterwards I just need someone to push the button and create a new
> > > > > snapshot from that (preferably together with a git tag).
> > > > 
> > > > Is there really a reason to do that? Since you're maintaining it, just
> > > > keep
> > > > it on your gh.
> > > 
> > > I just want to prevent that the same thing happens again.
> > 
> > I don't see a difference between a stale repo on your GitHub account
> > and a stale repo on Gentoo Infra.  Except the former is easy to fork,
> > and the latter we have in dozens, and nobody knows what to do with them.
> 
> Then let's at least move it into the Gentoo org on GitHub and give me push 
> access like it is for tatt.
> 

We don't create any new repos on GitHub that aren't mirrors of git.g.o
repos, and the remaining GitHub origins should be removed.

-- 
Best regards,
Michał Górny