git config --global user.name "Your name" git config --global user.email "your@email.com"
mkdir mardi cd mardi git init touch README git add README git commit -m 'first commit' git remote add origin http://gitlia.univ-avignon.fr/fabrice.lefevre/mardi.git git push -u origin master
cd existing_git_repo git remote add origin http://gitlia.univ-avignon.fr/fabrice.lefevre/mardi.git git push -u origin master