I'm trying to get stuff done, not screw around with the Github UI. `git pull --rebase main` beats clicking around in a browser.