Tags give the ability to mark specific points in history as being important
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.