Git

Checkout PR

Let's say pr144 is PULL Request ID

git fetch origin pull/144/head:pr144
git checkout pr144

Git Common Commands

• https://link.medium.com/rNTHPuPgPdb

git reset --soft HEAD~1  # Keep changes

git reset --hard HEAD~1  # Discard changes

ref: https://www.git-tower.com/learn/git/faq/undo-last-commit

git clone git@github.com:jeremybusk/myrepo.git
git checkout --orphan temp_branc
git add -A
git commit -m "add files"
git branch -D master
git branch -m master
git push -f origin master

wipe history - you can use git clone as well or just copy files to new repo

Showing Changes

• https://stackoverflow.com/questions/48570464/what-is-the-git-command-used-by-github-pr-to-show-differences

git ls-remote origin

hosts.txt

host1,up
host2,up

Show new lines

for i in $(git diff master...pr -- hosts.txt | grep "^+" | grep -v "^++" | cut -c2-); do echo add $i; done

simple file compare

for i in $(git diff hosts.cur hosts.new | grep "^+" | grep -v "^++" | cut -c2-); do echo add $i; done

git log --oneline -n 10
git checkout <my hash>

or other option
git reset --hard HASH-CODE

Rename branch

git branch -m main dev
git fetch origin
git branch -u origin/dev dev
git remote set-head origin -a

GIT_SSH_COMMAND='ssh -i  ~/.ssh/repos/foo' git clone git@github.com:uvoo/foo.git