_
> From: Jongyoul Lee
> Sent: Tuesday, December 11, 2018 1:38 AM
> To: dev
> Subject: Re: [DISCUSS] Fwd: [NOTICE] Mandatory relocation of Apache git
> repositories on git-wip-us.apache.org
>
> We could create a ticket for the infra only, correct?
>
>
day, December 11, 2018 1:38 AM
> To: dev
> Subject: Re: [DISCUSS] Fwd: [NOTICE] Mandatory relocation of Apache git
> repositories on git-wip-us.apache.org
>
> We could create a ticket for the infra only, correct?
>
> On Mon, Dec 10, 2018 at 12:45 PM Jeff Zhang wrote:
>
&g
Yes that’s all it takes to migrate.
(And committers to setup gitbox link)
Any more thoughts from the community?
From: Jongyoul Lee
Sent: Tuesday, December 11, 2018 1:38 AM
To: dev
Subject: Re: [DISCUSS] Fwd: [NOTICE] Mandatory relocation of Apache git
We could create a ticket for the infra only, correct?
On Mon, Dec 10, 2018 at 12:45 PM Jeff Zhang wrote:
> Definitely +1 for earlier, anyone volunteer for this ?
>
>
> Jongyoul Lee 于2018年12月10日周一 上午11:34写道：
>
> > I don't think we have any special reason not to move there.
> >
> > +1 for earlier
Definitely +1 for earlier, anyone volunteer for this ?
Jongyoul Lee 于2018年12月10日周一 上午11:34写道：
> I don't think we have any special reason not to move there.
>
> +1 for earlier
>
> On Mon, Dec 10, 2018 at 3:56 AM Felix Cheung
> wrote:
>
> > Hi community,
> >
> > The move to gitbox is coming. Thi
I don't think we have any special reason not to move there.
+1 for earlier
On Mon, Dec 10, 2018 at 3:56 AM Felix Cheung wrote:
> Hi community,
>
> The move to gitbox is coming. This does not affect Contributors - mostly
> how PR is merged. We could choose to voluntarily move early, or wait till
Hi community,
The move to gitbox is coming. This does not affect Contributors - mostly
how PR is merged. We could choose to voluntarily move early, or wait till
later.
So to discuss, should we move early?
-- Forwarded message -
From: Daniel Gruno
Date: Fri, Dec 7, 2018 at 8:54
