Maintenance will be preformed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org tomorrow, 25 February 2020, starting at 10am CST. There will be a short, around 5 minute, period of downtime towards the end of the maintenance window. In addition the runners will be paused around 9am CST and resumed at the end of the maintenance.

Compare Git revisions

Choose a branch/tag (e.g. master ) or enter a commit (e.g. 4eedf23 ) to see what's changed or to create a merge request.
Changes are shown as if the source revision was being merged into the target revision.
...