Closure of is scheduled for May 1st 2019. Please migrate as soon as possible. Repositories backups will be available upon request, after the server is offline. Contact:

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.