GitHub PRs
Authentication
VisualJJ uses your Git credentials for pushing branches and VS Code's GitHub login for creating PRs. You'll be prompted to sign in when you first create a PR.
PR badges
Changes with open PRs show a badge with the PR number. Click the badge to open the PR on GitHub.
Creating a PR
Right-click a change and select Create Pull Request. VisualJJ pushes a branch and creates the PR on GitHub.
If the change has parents that aren't on main, they're included in the PR.
Updating a PR
After feedback, edit your change directly instead of adding fixup commits:
- Double-click the change to edit it
- Make your fixes
- Click Push
The PR updates with your clean changes. Reviewers see a focused diff.
To add more commits to a PR, create new changes and drag the PR badge onto them. All changes below the badge are included in the PR.
Merging
Right-click and select Merge Pull Request. Then click Fetch to update your local tree.
Stacked PRs
When you have multiple dependent changes, you can create a PR for each. See Stacked PRs.