Admin message

Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday, 6 October 2026, beginning at approximately 0900 PDT (1600 UTC) and expected to take around 30 minutes. We are updating the toolkit (GET) used to deploy GitLab to bring it back in sync with upstream. This requires downtime because it changes how Pages is deployed: GET did not support deploying Pages on systems like ours when the migration began, so we wrote custom tasks and stayed on the older version rather than delay the migration further. This update adopts the now-supported method. Please address any comments, concerns, or questions to the helpdesk.

v0.3.1
Yun-Jing Huang's avatar
Yun-Jing Huang
@yun-jing.huang
ee3da0cf · Merge branch 'defensive-cli-v2' into 'main' · Mar 09, 2026
v0.3.1