Git global setup
git config --global user.name "Your name"
git config --global user.email "your@email.com"
Create a new repository
mkdir prova-enem
cd prova-enem
git init
touch README.md
git add README.md
git commit -m "first commit"
git remote add origin http://softwarepublico.gov.br/gitlab/brasil2020/prova-enem.git
git push -u origin master
Push an existing Git repository
cd existing_git_repo
git remote add origin http://softwarepublico.gov.br/gitlab/brasil2020/prova-enem.git
git push -u origin master