nostr:npub16dcldrzs3dpz27lrk33lktcqdcq3l2tt38d5634qua5gsxcqmnrqmr7haa 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