repository moved to gitlab.com

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

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

For those with write access, I also recommend
  $ git config user.name ...
  $ git config user.email ...
(see https://git-scm.com/book/en/v2/Getting-Started-First-Time-Git-Setup )
and, since we will want to avoid merges on the 'master' branch:
  $ git config pull.rebase true

For rebasing the ChangeLog file automatically, I invite you to install
git-merge-changelog
  http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob;f=lib/git-merge-changelog.c
and configure it like this:
[merge "merge-changelog"]
	name = GNU-style ChangeLog merge driver
	driver = /home/me/bin/git-merge-changelog %O %A %B

Thanks for your testing:
  * Don Cohen verified that it gives the same source code as in hg.
  * Blake McBride verified that it builds and runs fine.
  * I compared the history of the 'master' and 'clisp-2.50' branches
    with the one in hg. 'git log' and 'hg log -b .' produce the commits
    mostly in the same order; there is some reordering around the merges
    at 2011-03-27, 2011-04-06, 2017-03-16. But the merge structure and
    contents look right.

I updated the HACKING file to point to the new repository. Sam, I did
not touch the public home page. Nor did I notify the clisp-list audience.

Bruno