On 09/12/19 9:14 pm, Sergio Durigan Junior wrote: > Hey, Siddhesh, > > I know you're in touch with Konstantin already, but another option would > be to use the OSCI VM running on gnutoolchain-gerrit.osci.io. I can > talk to the OSCI folks and ask them if it'd be possible to have an alias > hostname or something to make it easier to separate the services, if needed.
That works too, since Konstantin just confirmed that they cannot host this on kernel.org. Siddhesh