Antigravity IDE can install the GitHub Pull Requests extension but can't run it properly. I replaced it with the GitHub CLI and shipped this post with four commands, without opening github.com once.
Posts tagged with git
VS Code refused to let me switch branches after a GitHub merge. The uncommitted changes weren't the problem — my local main was just stale.