On 10/21/19 9:14 AM, Thierry Carrez wrote: > Thierry Carrez wrote: >> [...] >> I'll propose the project addition so you can all vote directly on it :) > > https://review.opendev.org/#/c/689754/ > This has merged, but I still don't have access to the core group for the library. Is this the point where we need to get infra involved or are there other steps needed to make this official first?