TEST, for git push -f