Maintenance will be performed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org starting at around 10am CST on Tuesday 28 January 2020. It is expected to take around an hour and there will be a short period, around five minutes, of downtime towards the end of the maintenance window. In addition the GitLab-CI runners will be paused starting at around 9am CST in order to be updated.

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.
...