Git
Git go to previous commit
git
git checout
Git force dev into master from PR
git
force
PR
Git stash - and patch
git
stash
save diff
Git - forget a file and ignore
git
forget