Git Primer

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

Automatically push commits

Pushing previous commits

If you have committed several changes locally and are then ready to push them to the server.

  1. Click on the push button in the toolbar.
  2. Make sure "Select All" is checked.
  3. Click "OK".

Pushing after commits