Re: preparing the repository move to gitlab

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

I believe that the directions below gave me the correct current
source, at least the same as what I now have from hg.
But what am I supposed to do to retrieve updates?
That is, if I want to change from hg to git, what should I use 
instead of
 ht pull -u

I assume that the rest of the directions for building remain the same.
Let me know if not.

Blake McBride writes:
 > Built and ran for me.
 > 
 > On Tue, Apr 17, 2018 at 4:59 PM, Bruno Haible <br...@cl...> wrote:
 > 
 > > Karsten Poeck writes:
 > > > >    $ git checkout master
 > > >
 > > > this deletes everything, since the repository on
 > > > https://gitlab.com/gnu-clisp/clisp is empty
 > >
 > > Thanks for the testing you are giving to it. Indeed I forgot one
 > > instruction at the end:
 > >
 > > $ wget 'https://www.dropbox.com/s/fzrphkpzx12p9pv/clisp-initial-
 > > git.tar?dl=0'
 > > $ mkdir clisp-git
 > > $ cd clisp-git
 > > $ tar xf ../'clisp-initial-git.tar?dl=0'
 > > $ git checkout master
 > > $ git reset --hard
 > >
 > > Please retry with this last instruction.
 > >
 > > Bruno