Re: repository moved to gitlab.com

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

Bruno Haible writes:

 > > 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.

This seems to give me something with a number of differences
from the previous instructions, but maybe that's due to recent 
updates.

If the resulting directory is indeed where I should now be 
building, I still want to know what command to use for the
nightly update.

BTW, is the hg repository still being updated?