https://www.michelebologna.net/2016/git-deleting-remote-tracked-branches/