git overwrite local branch with remote
By Bridget Weber at Nov 25 2020
git pull from remote branch overwrite local
By Cute Copperhead at Apr 21 2021