+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 <pottlin...@apache.org> 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 >