Why?

The gitdev.wpi.edu server is undergoing necessary updates.

Impact

Gitlab will be unavailable for several minutes during the maintenance.