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

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

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).

Open JDeveloper

Create Sample Application in local directory /blog_repository

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

The list of pending changes is updated

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

Provide the initial commit comment:

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

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

Provide connection details and press Next.

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

Press Finish.

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

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

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.