Emergency reboot

One of our servers hosting the git repositories crashed due to an extremely high load and memory usage.

We have to go through the filesystems checks like we did yesterday to ensure the data is consistent, but we’ve doubled the available memory on the server when it comes back up. Unfortunately this will take around 20 minutes.