The following GitHub repositories in the gentoo/ namespace seem to belong to you: gentoo-docker-images 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.
I don't know where I am listed as the owner of that repository, but I am not. There is a travis pipeline set up, please be aware you might break UX by changing. Maybe ultrabug has some interest in this one.
I guessed because you were the person committing the most to it lately.
So the problem is "just" that the original git repo should be on git.gentoo.org if I understand correctly. That's fine with me tbh; If you could be so kind to set it up Michal on git.gentoo.org and make sure Manuel & I can push there, I'll move data and then you'll be able to proceed to mirroring to GH. Manuel, I might have forgotten about it but what jenkins are we talking about here please? Can I do something to change the remote git Jenkins points to?
+repo proj/gentoo-docker-images + RW+ = mrueg@gentoo.org ultrabug@gentoo.org + R = @all daemon gitweb + category = proj + owner = "Alexys Jacob <ultrabug@gentoo.org>" + desc = "Common effort to get an official and automated gentoo base docker container" Like this? Or just proj/docker-images?
Looking at the list... I think that proj/docker-images would do better thank you
remote: Initialized empty Git repository in /var/gitroot/proj/docker-images.git/ Please note that I've enabled GitHub mirroring too, so once you push something it'll overwrite whatever's on GitHub, so preferably just push what you have on GitHub, e.g.: git remote set-url origin git@git.gentoo.org:proj/docker-images git push --all
Did the initial push for you, now we can close it.
