Hi, Ludovic Courtès <ludovic.cour...@inria.fr> skribis:
> I’ve applied the whole series to Cuirass: > > 81d2530 * http: Add /admin/gitlab/event. > 10cf59f * gitlab: Add module for Gitlab JSON objects definition. > 1da873b * specification: Ensure name is a symbol. After doing some more testing, we realized the string/symbol migration introduced type errors (statically-typed language programmers would be right to laugh at us here, I admit). It’s not fixed in ‘main’ yet, but we’ll be looking into it in the coming days. Cheers, Ludo’.
