Admin message

GitLab will be unavailable on Monday, July 13, starting at 12:00 p.m. due to a scheduled update.