Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 698364 - Moving cynede's repos out of gentoo/ GitHub
Summary: Moving cynede's repos out of gentoo/ GitHub
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Infrastructure
Classification: Unclassified
Component: GitHub (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Cynede (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 698358
  Show dependency tree
 
Reported: 2019-10-23 13:53 UTC by Michał Górny
Modified: 2019-10-30 06:48 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-10-23 13:53:04 UTC
The following GitHub repositories in the gentoo/ namespace seem to belong to you:

    dotnet
    gentoo-rust


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.
Comment 1 Cynede (RETIRED) gentoo-dev 2019-10-28 07:08:01 UTC
Those repositories are not ready to be removed, please keep that bug open and don't remove them. Repositories on git.gentoo.org are not ready at the moment and there are no links. github ones are in use as main sources.
Comment 2 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-10-28 08:03:44 UTC
I can create git.g.o repos for you and set automatic mirroring to github.
Comment 3 Cynede (RETIRED) gentoo-dev 2019-10-28 12:33:08 UTC
can we use github as master and git.g.o as mirror because it's a bit more complicated to work with contributors using app pram?
Comment 4 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-10-28 14:25:39 UTC
No.
Comment 5 Cynede (RETIRED) gentoo-dev 2019-10-29 07:42:26 UTC
Alright, then please make repositories on git.g.o and setup mirrors. (if dotnet repository exists please override it using github as master with force)
Comment 6 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-10-29 17:48:00 UTC
It does exist indeed.  Since it's been unused for almost a year, would you mind me moving it to repo/proj/dotnet while at it?


That's my proposition (based on GH):

diff --git a/conf/proj.conf b/conf/proj.conf
index 152abcd..53685b8 100644
--- a/conf/proj.conf
+++ b/conf/proj.conf
@@ -336,12 +335,0 @@ repo proj/docker-images
-repo proj/dotnet
-	# gentoo-is-overlay = True
-	# gentoo-dont-add-to-layman = Last changed two years ago + name conflict with dotnet user overlay
-	RW+ = ali_bush@gentoo.org cynede@gentoo.org loki_val@gentoo.org tomwij@gentoo.org
-	R   = @all daemon gitweb
-	#gl2# proj/dotnet "Peter Alfredsen <loki_val@gentoo.org>" = ".NET related ebuild development"
-	category = proj
-	owner = "Peter Alfredsen <loki_val@gentoo.org>"
-	desc = ".NET related ebuild development"
-
-	config gentoo.files.exclude = .*\/?Manifest$
-
diff --git a/conf/repo-proj.conf b/conf/repo-proj.conf
index 5fc2fe4..6670eab 100644
--- a/conf/repo-proj.conf
+++ b/conf/repo-proj.conf
@@ -16,0 +17,10 @@ repo repo/proj/..*
+repo repo/proj/dotnet
+	RW+ = ali_bush@gentoo.org cynede@gentoo.org loki_val@gentoo.org tomwij@gentoo.org
+	R   = @all daemon gitweb
+	category = repo/proj
+	owner = "Peter Alfredsen <loki_val@gentoo.org>"
+	desc = ".NET related ebuild development"
+	config gentoo.mirror.url = git@github.com:gentoo/dotnet.git
+	config gentoo.files.exclude = .*\/?Manifest$
+
+
@@ -38,0 +49,9 @@ repo repo/proj/gen-b0rk
+repo repo/proj/dotnet
+	RW+ = @devs
+	R   = @all daemon gitweb
+	category = repo/proj
+	owner = "Dotnet Project <dotnet@gentoo.org>"
+	desc = "Newer mono, .NET languages, and libraries"
+	config gentoo.mirror.url = git@github.com:gentoo/dotnet.git
+
+
@@ -113,0 +133,10 @@ repo repo/proj/roverlay
+
+repo repo/proj/rust
+	RW+ = cardoe@gentoo.org chutzpah@gentoo.org cynede@gentoo.org djc@gentoo.org gyakovlev@gentoo.org williamh@gentoo.org
+	R   = @all daemon gitweb
+	category = repo/proj
+	owner = "Rust Project <rust@gentoo.org>"
+	desc = "Rust packages"
+	config gentoo.mirror.url = git@github.com:gentoo/gentoo-rust.git
+
+
Comment 7 Cynede (RETIRED) gentoo-dev 2019-10-30 06:31:27 UTC
seems right, maybe owner should be changed to me
Comment 8 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-10-30 06:48:25 UTC
Done.