Details
-
Type:
Task
-
Status: Reopened (View Workflow)
-
Priority:
Minor
-
Resolution: Unresolved
-
Component/s: github
-
Labels:None
-
Similar Issues:
Description
Seems too far out of the ordinary to do via a HOSTING request.
I would like to transfer the two repositories mentioned in JEP-229 (as of https://github.com/jenkinsci/jep/pull/332), namely
to Jenkins hosting, probably the jenkins-infra organization. (I have no permissions in that org so acc. to https://docs.github.com/en/free-pro-team@latest/github/administering-a-repository/transferring-a-repository I could not do a transfer, it would have to be a clone & delete?)
The current repo names can be kept I think.
Hmm don't think those teams have been added, I don't appear to have write access (or admin) and I'm in both teams.
Olivier Vernin could you fix please?