GitHub integrations

GitHub CLI

The GitHub CLI is usable with Jujutsu colocated repositories. Some commands require passing --head since the Git repository usually has a detached HEAD.

$ gh pr create --head my-branch

jj-spr

spr ("super pull requests") is a utility for creating, updating, and merging GitHub pull requests from the terminal. jj-spr is a fork that adds Jujutsu support, including change IDs.

# Open a pull request that ONLY includes changes in xyz
$ jj spr diff -r xyz

# Make some edits, then:
$ jj squash --into xyz

# Update the pull request. The difference is added as a new commit,
# so reviewers can see changes made since their last review
$ jj spr diff -r xyz

# Land (merge) the pull request
$ jj spr land