Remote Repositories

Remote Repository Configuration

To perform operations on remote repositories, you need to add them to your list of remote repos in Git > Remote >Remotes:

Enter the repository name and its location.


The repository will be saved in the list of remote repositories.

Command line equivalents:
list of your remote repositories

git remote

list of your remote repositories with URLs

git remote -v

create a new remote repository

git remote add <repository name>

delete remote repository

git remote rm <repository name>

Fetch Updates

A fetch us similar to a Pull with the significant difference that when data is fetched from a remote repository it is not automatically merged with your project. To fetch updates go to Git > Remote > Fetch

Choose a remote repository (make sure you have added it in advance; see Remote Repository Configuration)


You will get a confirmation of a successful fetch operation in the Output panel.

Command line equivalent:

git fetch <remote branch name>

Git Pull

After adding remote repositories to the Remotes list, you can perform a Git pull. Go to Git > Remote > Pull.

Choose the remote repository you want to pull from, select the branch to full from and the one to push to and click Pull.


The Output panel will show a successful pull.

Command line equivalent

git pull -r <remote repository name> -b <local branch name>

Pushing Changes

To push changes or new files to remote repositories, first make sure they have been added to Remotes.

Next, go to Git > Remote > Push, choose the repository you want to push to and click Push.


(warning) HTTPS protocol is not currently supported for GitHub push. Use a SSH git URL instead.

Command line equivalent:

git push -r <remote repository name> -b <local branch name>