i feel like it would be cool if git had “git pull —force” (the same as git push —force but instead it resets your local branch to wherever the remote is currently)

of course you can accomplish the same thing with git reset but it’s something I fairly often want to do