TerraMA2 - git usage notes

After cloning a repository, make sure you have set the user name and e-mail for the repository:

git config user.name username
git config user.email username@gmail.com

If you want to set the user name and e-mail for tracking commits, and set it globally (for all repositories), type in the shell:

git config --global user.name "user-name"
git config --global user.email "user-name@my.address"

If you need to disable SSL verification you can do this by typing in the shell:

git config --global http.sslVerify false

If you prefer to disable SSL at system level, you can do:

sudo git config --system http.sslVerify false

To sync your local copy with the server:

git pull

If you have new files or have updated any files, first you have to stage them:

git add .

Then you can commit the modifications:

git commit -m "update message"

And finally you can push your commits to the server:

git push