Exceptional GitLab maintenance is scheduled for June 24, 2025. The service will be unavailable between 8:00 am and 9:30 am. Please do not work on the platform until an announcement indicates that maintenance is complete.
I hope I haven't broken anything - I made the first version of a branch following !35 (closed) and had to backport my modifications in the more senseful hierarchy used in main branch (I will take a Linux laptop for my rereading / modifications of the hands ons).