As people may have noticed, we've had some issues with GitLab (repository, issues, merge requests, and documentation are all affected), and the admins have decided to move up the migration day to December 4, 2024:
Ideally, this should bring us back to a stable environment. Stay tuned for more information next week.