Maintenance will be performed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org tomorrow, 2020/08/04, starting at approximately 9am PDT. It is expected to take around 15 minutes and there will be a short period of downtime towards the end of the maintenance window. Please direct any comments, questions or concerns to computing-help@ligo.org.

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