git config --global user.name "Your name" git config --global user.email "your@email.com"
mkdir gamma cd gamma git init touch README git add README git commit -m 'first commit' git remote add origin https://disc.univ-fcomte.fr/gitlab/donatien.lege/gamma.git git push -u origin master
cd existing_git_repo git remote add origin https://disc.univ-fcomte.fr/gitlab/donatien.lege/gamma.git git push -u origin master