nstjhp · May 18, 2021 12:08
diff --git a/git_review_PR.txt b/git_review_PR.txt
 git fetch origin pull/NN/head:prNN   ## check the PR number - this is what goes between pull and head. After the : is the name of the branch - makes sense to call it like this prID where ID is PR number
 git checkout prNN ## After checking out you can compile, edit, do whatever to the PR branch
 git checkout main ## If you're happy switch back to main branch before merging
 git merge  --no-ff prNN
 git status
 git log
 git push origin main ## push to Github
	git fetch origin pull/NN/head:prNN ## check the PR number - this is what goes between pull and head. After the : is the name of the branch - makes sense to call it like this prID where ID is PR number
	git checkout prNN ## After checking out you can compile, edit, do whatever to the PR branch
	git checkout main ## If you're happy switch back to main branch before merging
	git merge --no-ff prNN
	git status
	git log
	git push origin main ## push to Github