+1 for migrating. Thanks for moving this forward. Aaron
> On Dec 10, 2018, at 3:00 PM, Werner Keil <[email protected]> wrote: > > +1 for moving, seems the standard way for all repositories, so better > migrate. > > Werner > > > > On Mon, Dec 10, 2018 at 8:59 PM P. Ottlinger <[email protected]> wrote: > >> Am 08.12.18 um 20:36 schrieb P. Ottlinger: >>> Any objections or can I file an issue to move us over to the new system? >> >> Filed >> https://issues.apache.org/jira/browse/INFRA-17389 >> to trigger the migration. >> >> Let's see how things evolve and how powerful the github integration will >> become :-) >> >> Phil >>
