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