Undoing a git push - Stack Overflow
The following is the fix in action based on the accepted answer... % git push -f origin cc4b63b:alpha-0.3.0 Fetching remote heads... refs/ refs/heads/ refs/tags/ refs/remotes/ updating 'refs/heads/alpha-0.3.0' using 'cc4b63b' from ......