SyntaxFix
Write A Post
Hire A Developer
Questions
If the pull was the last thing he did then
git reset --hard HEAD~1