@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 

 @0e466e79 What a great recommendation! I’ll check this out. Thanks!