The following GitHub repositories in the gentoo/ namespace seem to belong to you: dlang 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.
Hello Michał, I'd pick option 2 here mostly so that if I go MIA it can easily be updated. Option 3 would otherwise be fine, too. Mirroring to GitHub would be good for those who already use that. There is also at least 1 dependent repository by someone else. (Though personally I like cleaning things up when leaving.) Best regards, Marco
+repo repo/user/dlang + RW+ = marco.leise@gmx.de + R = @all daemon gitweb + category = repo/user + owner = "Marco Leise <Marco.Leise@gmx.de>" + desc = "D programming language ebuild repository" + option hook.post-receive.gentoo-mirror = gentoo-mirror + config gentoo.mirror.url = git@github.com:gentoo/dlang.git Does that look good?
I don't understand all the lines, but the email and description and mirroring look good.
Should be set now. Please push to git@git.gentoo.org:repo/user/dlang.git; it will automatically push the same thing to GitHub. Note that it will overwrite everything on GitHub.
I have prepared some new commits now. Can you give me push access if I send you the public key I used on GitHub via email?
We already had one SSH key for you. If it doesn't work, please send me the new key and lemme know if I should remove the old one while at it.
Ping. Did you succeed in pushing? If so, please close this bug.
Thanks alot! Login works now. Just need to read into signing off commits.
