[rodarima]

> The post does not mention CI anywhere else, are they doing anything with it, keeping it on GitHub, or getting rid of it?

Yes, we have our own CI service. It is not public for now.