> On December 5, 2018 at 10:01 PM Peter Kovacs <pe...@apache.org> wrote: > > On 05.12.18 08:08, Andrea Pescetti wrote: > > > > If yes, we'll have to look into another environment. If no, we can > > reuse one of these two VMs as the new updates server. > We could try the OpenGrok Server.
Has this been tested? Could someone on Infra give a little love to this task? Regards, Pedro --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org
