Say in my develop branch, I have the following published (pushed) commits
aaa2345 bad4567 ccc7890
Later I realize bad4567 has issue and I want to
