LOCAL_PROJECTS=$1

cd $LOCAL_PROJECTS

if [ ! -d argot ]; then
    git clone https://cicadas.surf/cgit/colin/argot.git
else
    cd argot && git checkout main && git pull origin main && cd ..;
fi

if [ ! -d def ]; then
    git clone https://cicadas.surf/cgit/colin/def.git
else
    cd def && git checkout main && git pull origin main && cd ..;
fi

if [ ! -d ~/quicklisp/local-projects/hypnotisml ]; then
    git clone https://cicadas.surf/cgit/colin/hypnotisml.git
else
    cd hypnotisml && git checkout main && git pull origin main && cd ..;
fi