Would the repo name be changed on GitHub?
You can easily create a new repo. But what infra Gave us doesn’t let us remove or rename a repository. Would be possible for Infra to move it. And keep our github repositories intact? I’m 1000% ok with that. It’s even a no brainer (it’s being decommissioned anyways right?) I just wanted to understand how it will happen. On Fri, Dec 7, 2018 at 12:03 PM Jean-Baptiste Onofré <j...@nanthrax.net> wrote: > Hi all, > > Our repositories are currently located on git-wip-us.apache.org. > > This service will be decommissioned in the coming month. > > I'm proposing to move our repositories to gitbox.apache.org. > > I'm volunteer to start a vote, and if OK, I will deal with the infra. > > Thoughts ? > > Regards > JB > -- > Jean-Baptiste Onofré > jbono...@apache.org > http://blog.nanthrax.net > Talend - http://www.talend.com > -- Clebert Suconic
