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