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 "delete" it from the develop branch. What git commands to use to achieve the develop will become
aaa2345
ccc7890
And if aaa2345
depends on bad4567
, is such delete even possible?