On Monday, December 09 2019, Siddhesh Poyarekar wrote: > 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.
Alright. I'll get in touch with OSCI. Please send me your public SSH key so I can give you access to the machine. Thanks, -- Sergio GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36 Please send encrypted e-mail if possible http://sergiodj.net/
