git.psu.edu servers will reboot on new kernels Monday, 8/10 between 9 and 10pm. Downtime is expected to be brief. Please email support@git.psu.edu with any Gitlab problems you have. More information on the git.psu.edu yammer group.