> On Dec 7, 2018, at 9:12 PM, Allen Wittenauer
> <[email protected]> wrote:
>
>
>
>> On Dec 7, 2018, at 6:32 PM, Sean Busbey <[email protected]> wrote:
>>
>> any one have concerns they want to weigh in with about moving to gitbox per
>> INFRA's email to dev@?
>>
>> if no one has objections, I'll take care of filing the INFRA ticket.
>
>
> Go for it. I was going to ask the same thing. :)
>
> Thanks!
>
As Sean mentioned in the other thread, he wasn’t sure if he filed it. It
doesn’t look like he did, so I filed
https://issues.apache.org/jira/browse/INFRA-17447 :)
We’ll get moved to gitbox probably over the weekend or maybe Monday. I’ll
repair the various precommit jobs after the move. We’ll have to make some
patches to the source tree as well (mainly doc fixes).
