Hooking up JDeveloper 12.1.3 to a GitHub repository image398

Hooking up JDeveloper 12.1.3 to a GitHub repository

This article describes how a JDeveloper application can be published to a GitHub repository – through an intermediary local repository – using the Team (Versioning) support in JDeveloper 12.1.3.

 

Create GitHub repository
image

image

Set the name to blog_repository and click on the button Create repository.

image

Copy the remote URL to the clipboard.

Create directory and initialize [local] Git repository in /blog_repository (note: this example is created on Linux; the system had Git already set up).

image

Open JDeveloper

Create Sample Application in local directory /blog_repository

image

Use Team | Git | Add All to stage all files in the sample application:

image

image

The list of pending changes is updated

image

Use Team | Git | Commit All to commit all stages resources – to the local repository (nothing is yet pushed to the remote GitHub repository)

image

Provide the initial commit comment:

image

Now is the time to push the committed sources to the remote repository:

image

The Push to Git wizard opens. provide the remote URL for the GitHub repository (saved in clipboard).

image

Provide connection details and press Next.

image

Press Next. A summary is presented of what the push wizard will do: push all locally committed resources to the remote repository.

image

Press Finish.

The Push takes place. A small progress indicator is a visualization of the push.

image

When the push is complete, we can check in the GitHub browser interface if the resources have indeed been pushed:

image

Next steps include:

  • developing the sample application
  • adding and committing new and changed files to the local Git repository
  • pushing new and changed files – that have been committed locally – to the remote GitHub repository
  • check version history, compare versions etc.

2 Comments

  1. Bernardo November 12, 2015
  2. Juergen Menge December 17, 2014