repository moved to gitlab.com

[<don...@is...>]

Bruno Haible writes:
 > Hi all,
 > 
 > The clisp source code repository is now at
 >   https://gitlab.com/gnu-clisp/clisp
 > 
 > The command to check it out is
 >   git clone gi...@gi...:gnu-clisp/clisp.git

So that replaces the half dozen lines you sent before?
Does that create a new directory?  If so, what name?
Or do you first have to mkdir xxx;cd xxx and then clone 
creates the contents of directory xxx ?

And I still want to know what command to use to retrieve any 
updates to the source.