Re: repository moved to gitlab.com

[Sébastien V. <seb...@de...>]

On Sat, Apr 21, 2018 at 06:09:20PM +0200, Bruno Haible wrote:

> The command to check it out is
>   git clone gi...@gi...:gnu-clisp/clisp.git

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

Best,

-- 
⢀⣴⠾⠻⢶⣦⠀  Sébastien Villemot
⣾⠁⢠⠒⠀⣿⡁  Debian Developer
⢿⡄⠘⠷⠚⠋⠀  http://sebastien.villemot.name
⠈⠳⣄⠀⠀⠀⠀  http://www.debian.org