Using GitHub's new stacked PRs with jj