For anyone interested, there‘s a similar CLI for GitHub: https://github.com/cli/cli
It is a wrapper around git (you can alias it to the git command) that adds GH-aware things, like checking out a PR by URL or number, or opening up the repo page with `git browse`.