Re: repository moved to gitlab.com

[Bruno H. <br...@cl...>]

Sébastien Villemot wrote:
> This only works for people who created an account on gitlab.com and uploaded
> their SSH keys.
> 
> In the HACKING file, you should probably rather refer to the public HTTP
> address:
> 
>  git clone https://gitlab.com/gnu-clisp/clisp.git

Thanks for the suggestion. Done.

Bruno