Maintenance will be performed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org starting in approximately 30 minutes at 22:30 MST on Tuesday 18 February 2020. This is to get a couple of important security updates in place. There will be two short periods of downtime towards the end of the maintenance period.

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