Admin message

GitLab will be OFFLINE from July 7–9, 2025 for maintenance. It might be back sooner if everything goes smoothly.