@d371f68c I recommend SourceTree for this. It supports force pushes (have to manually enable that in the preferences) and it’s much better to use a separate and feature-complete Git front end in the first place. 

https://www.sourcetreeapp.com 

 @053f521c Sounds about right. I enrolled in college in 1989, and I'm pretty sure I saw it in one of the labs there shortly thereafter. 

 @053f521c OMG, I haven't seen this thing since, well, 1995. Sure brings back memories. Thanks for posting.