On 29.02.2016 17:39, Marek Posolda wrote:
git push origin master --force
Just be extra careful on this command, as it is potentially destructive
when applied to the "main" repository. As a general rule, I use
"--force" only on my branches, and never on master (even less on the
"real" origin/upstream).
By the way: this is a good time to check if the main repository is
protected against force-pushes:
http://snag.gy/2KjLY.jpg
- Juca.