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:

  1. Double-click the change to edit it
  2. Make your fixes
  3. 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.