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