test for git push origin HEAD --force