The repository for this project is empty

You can add a file  or do a push via the command line.

public

Command line instructions

Git global setup
git config --global user.name "Your name"
git config --global user.email "your@email.com"
Create a new repository
git clone https://gitlab.info-ufr.univ-montp2.fr/e20180008727/project1.git
cd project1
touch README.md
git add README.md
git commit -m "add README"
git push -u origin master
Existing folder or Git repository
cd existing_folder
git init
git remote add origin https://gitlab.info-ufr.univ-montp2.fr/e20180008727/project1.git
git push -u origin master