You can do
git checkout master
git reset --hard tag_ABC
git push --force origin master
Please note that this will overwrite existing history in the upstream repo and may cause problems for other developers who have this repo checked out.
As per Luke Wenke’s comment, other developers who have got master
checked out will have to do the following:
git pull
git reset --hard origin/master