> On Dec 14, 2018, at 8:41 PM, Allen Wittenauer
> <[email protected]> wrote:
>
> 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).
… and we’re now on gitbox. :)
I’ve updated all of the jobs (including precommit-admin).
