Re: The CI issue (was Re: Request push access on Salsa)

[Nilesh Patra]

> I'll setup a VM on my infra and try to follow your setup documentation
so I may have more feedback in the next days.

Why not instead take up a shell account on Aloïs's machine instead? :)
Thanks a lot for helping out with this in any case!

Nilesh