PUSH_BRANCH is the remote branch (git only)