tto
/ docs
/ git
/ reset branch
use git reset to reset a branch to another branch.
so to reset the dev branch back to prod:
first git checkout dev to switch to the branch you want to reset.
then git reset prod to reset the branch.
also see [compare]