Revert “git commit” after “git push”

git reset --hard HEAD~1
git push -f

Remove tag from remote

git tag -d 12345
git push origin :refs/tags/12345

Remove remote branch

git push origin --delete branch_name

References:

• Understanding the GitHub Flow
• Forking Projects
• Collaborating
• Github Guides
• Git Documentation
• Git Reference