delete local branches not on remote
By Zomba4okk at May 05 2020
git delete local branches not on remote
By Santos Beahan at Apr 04 2021