Migrate CI from Framasoft to Inria
As I understood, the CI is currently on framagit for historical reasons that are no longer relevant. We should migrate it to the inria infrastructure ASAP.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information