[Unison-hackers] Using git for the Unison repository

[Alan Schmitt]

On 23 mars 2012, at 16:21, Trevor Jim wrote:

> I get an ssl error, is it just me?
> 
>    $ git clone -o mirror https://forge.ocamlcore.org/anonscm/git/unison-mirror/unison-mirror.git unison
>    Cloning into 'unison'...
>    error: SSL certificate problem, verify that the CA cert is OK. Details:
>    error:14090086:SSL routines:SSL3_GET_SERVER_CERTIFICATE:certificate verify failed while accessing https://forge.ocamlcore.org/anonscm/git/unison-mirror/unison-mirror.git/info/refs
>    fatal: HTTP request failed

I just tried it and it worked (with the exact same command line).

Alan