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 'github.com:inkdropapp/docs-next.git'
hmmmm
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 git@github.com:dmitriyrotaenko/docs-new.git HEAD:main
To push to the branch of the same name on the remote, use
git push git@github.com:dmitriyrotaenko/docs-new.git 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.