Cloning this repository:

git clone git://git.pantoto.org/servelots/servelots.git servelots
cd servelots

Add this repository as a remote to an existing local repository:

git remote add servelots git://git.pantoto.org/servelots/servelots.git
git fetch servelots
git checkout -b my-local-tracking-branch servelots/master_or_other_branch