We have branches origin and develop.
The initial state of master was tagged at tag_ABC
.
We have few changes made to the develop branch and pushed to origin. Then we have accidentally merged develop into master and pushed to origin.
Now we would like to revert master to the checkpoint tag_ABC
. How can we do that?