Re: preparing the repository move to gitlab

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

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