Migration to gitlab

Switch from github to gitlab

cd elphel393
git remote -v (make sure it's not https://git.elphel.com/Elphel/elphel393.git)
git remote set-url origin https://git.elphel.com/Elphel/elphel393.git
git pull

# if projects.json is still there:
rm projects.json
./setup.py (it already has ability to change remote server)

Clean installation

git clone https://git.elphel.com/Elphel/elphel393.git
./setup.py

Working copy: projects.json

• not part of the repo
• created from projects-default.json