bash
git push -f