How do I delete a commit from my branch history? Should I use git reset --hard HEAD? on August 31, 2023 delete commit from branch history in Git +