Pushing local commits to GIT
You can push your changes to the repo either at the time of the commit or after you have completed a task. You should only push to the repository when you are in a non-breaking state.
Pushing during a commit
To push when making a commit, check the checkbox "Push changes immediately to origin/master", then click the Commit button
Pushing previous commits
If you have committed several changes locally and are then ready to push them to the server.
- Click on the push button in the toolbar.
- Make sure "Select All" is checked.
- Click "OK".