How to Pull/Push using Gitora 4

Gitora 4 enables Oracle developers to push to and pull from other Git repositories including the ones hosted by GitHub, GitLab, Bitbucket etc…

Below are the steps to achieve this:

Register the remote repository to Gitora

In the Gitora web application, click the File –> Manage Remote Repositories.

The File Menu


The Remote Git Repositories dialog shows up.

Remote Git Repositories Dialog

Click the green plus button to create a new row. Next, enter a friendly alias for the remote Git repo. Finally, enter the URL that points to the remote repo. If you are using a service like GitHUb, refer to the service provider website for the correct URL. For GitHub, the URL is in the following format: https://github.com/[github user name]/[gitreponame].git

If you are referencing a Git repository managed by another Gitora installation follow the steps below to find the URL pointing to the remote Git repo:

  • Open the Gitora app that manages the remote repo you want the URL for. Note that, this should be a different Gitora app than you are currently in.
  • Open the remote repo in the Gitora app.
  • If the repo is empty, the URL will show up immediately. If it is not empty, click the repo name on the right side of the screen. (In the screenshot below, the repo name is HRRepo.)
  • Copy the URL for the repo.
  • Go back to the first Gitora app and paste the URL to the URL field in the Remote Git Repositories dialog.
  • Check the checkbox “Gitora Repo?”. This informs Gitora that this is a repo used by another database and therefore cannot be pushed to (but can be pulled from.). Git does not allow pushing to repos with a working directory.
  • Click OK to save your changes.

Pushing to a remote Git Repo

Open the Gitora app, select the repo you’d like to push and click the push icon in the toolbar.

The Push dialog shows up.

The Push Dialog

Select the branch you’d like to push and the target remote repository you’d like to push this branch to. Enter the user name and password to connect to the remote repository. Leave these fields empty if the remote repository is not protected by a user name and a password. For example, if you are pushing to GitHub, the credentials you should enter are your GitHub user name and password.

Click push and wait for the response message to show up.

Pulling from a remote Git Repo

Open the Gitora app, select the repo you’d like use and click the pull icon in the toolbar.

The Pull Dialog shows up

The Pull Dialog

Select the remote Git repo and enter the name of one of its branches you’d like to pull from. Enter the user name and password to connect to the remote repository. Leave these fields empty if the remote repository is not protected by a user name and a password. For example, if you are pushing to GitHub, the credentials you should enter are your GitHub user name and password. Repositories managed by Gitora do not have a user name and a password. If you are pulling from a repo managed by Gitora, make sure to leave these fields blank.

Click the Pull button and wait for the response message to show up.