Home > SQL Developer Dialog Boxes ... > Git: Pull from Git
Pulls remote sources into your local Git repository.
Pull automatically tries to merge the files you are pulling with any files that are already in your local repository. If you are concerned that this will cause merge conflicts and issues, a safer method is to use Fetch, and then Merge the files into your local repository.
Remote Repository
Specify the remote repository used for pulling source files into your Git repository.
Remote Name: Identifier that you will use when referring to the remote repository. Enter a descriptive, unique name, or select from the list if you have more than one available.
Repository URL: The URL of the file system at which the Git repository resides. Your Git administrator should be able to prove you with this information, or select from the list if you have more than one repository available.
User Name: If the remote repository does not allow anonymous read access, enter your user name for the server in this field. If your repository permits anonymous access, you can skip the remaining fields on this screen and click Next to continue.
Password: If your repository requires a login with user name and password, select this option, then enter your password in the field. You can then click Next to continue.
Private Key File: If your repository connection uses a private key file, select this option, then enter the path to the private key file. You can click Browse to select the file from a standard directory browser.
Passphrase: If your private key file requires a passphrase, enter the passphrase.
Remote Branch
Specify the remote branches to pull into your local repository.
Include: Check the branch you want to pull from.
From: Branch, in the remote repository, from which to pull files.
To: Branches that will be part of the pull operation.
Summary
Displays the selected options for the operation. To make any changes, click Back. To perform the operation, click Finish.
Related Topics