The following GitHub repositories in the gentoo/ namespace seem to belong to you: eudev We'd like to remove all original repositories from GitHub, and keep only mirrors of whatever's on git.gentoo.org. Therefore: 1. If some of those repositories are already on git.gentoo.org, please verify whether GitHub has no new content and ping me set up mirroring. 2. Alternatively, please consider moving them to git.gentoo.org. Let me know if you need the repos created and whether you want them mirrored to GitHub, or there is no need for that. 3. Alternatively, I can transfer the ownership to your private GitHub account. 4. Finally, we can remove them if they have no original content.
(In reply to Michał Górny from comment #0) > The following GitHub repositories in the gentoo/ namespace seem to belong to > you: > > eudev > > > We'd like to remove all original repositories from GitHub, and keep only > mirrors of whatever's on git.gentoo.org. Therefore: > > 1. If some of those repositories are already on git.gentoo.org, please > verify whether GitHub has no new content and ping me set up mirroring. > > 2. Alternatively, please consider moving them to git.gentoo.org. Let me > know if you need the repos created and whether you want them mirrored to > GitHub, or there is no need for that. > > 3. Alternatively, I can transfer the ownership to your private GitHub > account. > > 4. Finally, we can remove them if they have no original content. Is there any possibility of keeping this in the gentoo namespace?
Only as a mirror of git.gentoo.org.
(In reply to Michał Górny from comment #2) > Only as a mirror of git.gentoo.org. okay, can you set that up please.
Now on git.g.o, and mirrored to gh.