Christopher Su
About
Projects
Contact
More
Home
Notes
Git
Revert local branch back to remote branch
Revert local branch back to remote branch
April 4, 2023
git fetch origin git reset
--hard
origin/master