What I do usually when I commit and push (if anyone pushed his commit this solve the problem):
git reset --hard HEAD~1git push -f origin
hope this help
What I do usually when I commit and push (if anyone pushed his commit this solve the problem):
git reset --hard HEAD~1git push -f origin
hope this help