I need to deal with more github than I care to admit and this tool allows me to eliminate some visits to that dysfunctional behemoth. As the name says it integrates nicely with jj, unlike the github-cli. It also does not come with baked-in telemetry. === Description: jj tools for working with GitHub PRs from your terminal. - Create PRs locally from your preferred editor, for any revision ID - Intelligently supports stacked PRs by choosing the correct base if the revision has an ancestor bookmark for which an open PR exists - Enable auto-merge for a PR by its revision ID, without having to know or find its PR number (e.g. jj pr auto-merge zqxy) - Create local bookmarks for PRs, including across forks (e.g. jj pr fetch 1234 && jj new pr-1234/..., useful for testing PRs) - Show PR metadata like number and CI status in commit graph (e.g. jj pr log) - Interactively re-stack PRs (update PR base branch based on local revision graph shape) All from the comfort of your terminal, without touching GitHub's web UI. Maintainer: Theo Buehler <tb@openbsd.org> WWW: https://github.com/mrjones2014/jj-gh
No comments:
Post a Comment