Push git repo to gitlab
cd existing_repo
git remote rename origin old-origin
git remote add origin git@gitlab.epfl.ch:spc/tcv/tbx/gdat.git
git push -u origin --all
git push -u origin --tags
cd existing_repo
git remote rename origin old-origin
git remote add origin git@gitlab.epfl.ch:spc/tcv/tbx/gdat.git
git push -u origin --all
git push -u origin --tags