A GitLab upgrade is scheduled for Monday, May 12, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.
approved this merge request
enabled an automatic merge when all merge checks for c7dc5ce4 pass
canceled the automatic merge
mentioned in commit 8df6a83b
merged