Just looked at the email from infra. I don’t think we need a vote. It’s something we *have* to do anyways.
We should discuss how. Like the repo name change on GitHub is something I would like to avoid. On Fri, Dec 7, 2018 at 12:12 PM Clebert Suconic <[email protected]> wrote: > 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é <[email protected]> > 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é >> [email protected] >> http://blog.nanthrax.net >> Talend - http://www.talend.com >> > -- > Clebert Suconic > -- Clebert Suconic
