This image shows the Team menu in JDeveloper with the Git submenu open and the Push option selected.