Create Pull Request

Create a well-formatted GitHub Pull Request for the current branch.

Steps

1. Check branch state

Run in parallel:

• git status — see any uncommitted changes
• git log main..HEAD — see commits to include in the PR
• git diff main...HEAD — understand all changes
• git branch -vv — check if branch is already pushed

2. Push if needed

If the branch has not been pushed: