Migration to gitlab

Switch from github (hosted by GitHub) to gitlab (hosted by Elphel)

cd elphel393
git remote -v (make sure it's not https://git.elphel.com/Elphel/elphel393.git already)
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
• edit this file and replace all entries https://git.elphel.com/Elphel with git@git.elphel.com:Elphel to use ssh access instead of the https if desired. Then re-run setup.sh to apply the changes.