git branches not deleting

[DTrejo]

this is caused by

• the branch is deleted on the remote
• the local branch is also deleted
• but the local repo still has a ref to the remote branch

The solution is

• git branch -r -d origin/branchname

This should be output in the commands.