delete a pr branch if it exists

workaround for rampant force pushed pr's
Show remote branches that do not have pull request

Mostly works. Sort of.
wrapper to run ssh -'v for GIT_SSH="git_ssh_v"

Used when you want verbose ssh info with
git usage.