> On December 5, 2018 at 10:01 PM Peter Kovacs <[email protected]> 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: [email protected] For additional commands, e-mail: [email protected]
