Push the current branch and open a GitHub PR following the team's PR conventions (concise "PROJ-1234 - title", body = ticket link first, then short Why/What), and log the effort as a worklog on the ticket. Use when the user says "push", "push and open a PR", "create the PR", "raise a PR", "open a pull request", or asks to push + PR after committing work.
