Key note categories and examples for tech issues

Review a pull request locally

This is an example note

I took this note when I needed to review a pull request.

Use GitHub CLI | Take GitHub to the command line

Check out

gh pr list
gh pr checkout <pr>

Push changes

DO NOT g ps!!!

❯ g push origin pull/9/head
error: src refspec pull/9/head does not match any
error: failed to push some refs to ''


oh!!!!!! you can simple do to push changes back to the PR:

g push

But in some cases it makes an error like so:

❯ g push
fatal: The upstream branch of your current branch does not match
the name of your current branch.  To push to the upstream branch
on the remote, use

    git push HEAD:main

To push to the branch of the same name on the remote, use

    git push HEAD

To avoid automatically configuring an upstream branch when its name
won't match the local branch, see option 'simple' of branch.autoSetupMerge
in 'git help config'.

Get help

Got any questions about this page? Feel free to ask them on the user forum here.