undo git pull
By Sheldon Adams at Aug 14 2020
undo last git pull
By Olivia Goldner at Jun 27 2021
undo git pull origin master into feature branch
By Al Rau at Jun 30 2020