Hi,
The primary git repository has been moved from
www.swi-prolog.org to
github.com. That means that developers need to push to the github
repository. The repos at
www.swi-prolog.org are synchronized three
times per day. What does this mean?
# Update an existing working tree to GitHub
Use the commands below to update a working tree for the development branch.
Use `swipl.git` for the stable series. If you have a GitHub account and
setup
ssh, you can also use `git...@github.com:SWI-Prolog/swipl-devel.git`.
% git remote --set-url origin
https://github.com/SWI-Prolog/swipl-devel.git
% git submodule sync
# Checkout old versions
The submodule locations have changed on April 22, 2014. If you want to
check out an older version, use the repositories at
www.swi-prolog.org.
You can use the above commands to switch freely between both sources or
use `git remote add` to add both of them.
Enjoy --- Jan
P.s. This mail is sent to the old and new mailing list.