I have a development branch, another dev just pushed a commit to the branch in github. I need to rollback or revert to a prior commit, that was pushed to Github on 6-11-16 (a1c8cda)
-------------------------------------
334a6d6 - Pushed on 6-13-16
a1c8cda - Pushed on 6-11-16
-------------------------------------
I would like to retain the history, and if the other two developers need to pull this rollback that is ok. I am reading the differences between revert and reset and quite honestly am getting confused.