title: Completely override a previous git commit
body: <p>My colleague has pushed to our git repository a mistake. I wish to commit some updated code, but I had not git pulled and as a result am 1 commit behind the HEAD. How can I ignore his changes completely and override his mistake if I am behind?</p>