Comment by stefan_kendall3

"git push -f" will no longer ruin days (as badly)