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