GitHub CLI is pretty convenient:
Github CLI is quite convenient for administrative things:
Viewing the state of all your PRs:
gh pr status
Browsing a PR
gh pr view 756 --web
Fetching the code for a PR in a dedicated branch:
gh pr checkout 756
Opening a new PR using commit as title, opening a browser to finish creation:
gh pr create --fill --body '' --web
Asking Github to run a workflow:
gh worflow run "some-maintenance-task.yml"
I prefer to use the packages from the github releases than to use a package manager. It’s possible to script the updates:
gh release list -R "cli/cli"|rg Latest
GitHub CLI 1.11.0 Latest v1.11.0 2021-06-03T17:26:21Z
version="1.11.0"
tmpdir=`mktemp`
gh release download v$version -p "*arm64.deb" -D $tmpdir -R "cli/cli"
sudo dpkg -i $tmpdir/gh_$version_linux_arm64.deb