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.