Re: preparing the repository move to gitlab

Built and ran for me.

On Tue, Apr 17, 2018 at 4:59 PM, Bruno Haible <[email protected]> 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
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> clisp-devel mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/clisp-devel
>

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot

_______________________________________________
clisp-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/clisp-devel