Admin message

On Wednesday, November 26, at around 1 a.m., the GitLab server had to be reset to a snapshot from Tuesday, November 25, at 2:20 p.m. Unfortunately, this resulted in the loss of changes (commits) that were pushed between the snapshot and the reset. These may need to be pushed again.