Re: repository moved to gitlab.com

Bruno Haible <[email protected]> Sat, 21 Apr 2018 20:44:20 +0200
Newsgroups gmane.lisp.clisp.devel
Message-ID <1616673.TAPRSAcg3s@omega>
Don Cohen wrote:
>  > The command to check it out is
>  >   git clone [email protected]:gnu-clisp/clisp.git
> 
> So that replaces the half dozen lines you sent before?

Yes.

> Does that create a new directory?  If so, what name?

Yes, it creates a directory named 'clisp' in the current directory.
All further git commands should happen in this subdirectory.

> And I still want to know what command to use to retrieve any 
> updates to the source.

If you have made no modifications:
  git pull

If you have modifications as commits:
  git pull --rebase

If you have modifications as commits and uncommitted changes:
  git stash
  git pull --rebase
  git stash pop

If you don't want to risk forgetting the --rebase option, do this once:
  git config pull.rebase true

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