@nathanrice if the branch locally was remote tracking (e.g. branch was origin/branch-name) fetch -p should work, otherwise delete in both.

@nathanrice So the branch is still on your local repo? You can delete the branch locally. git branch -d [name]

@KState_Rob nor anyone wearing a neck brace or a turtleneck

@bfiger sent you an e-mail

@bfiger the boxes we can likely fix with CSS if that does everything else you want. Activate it (even on a random private page) & send link

@bfiger I can share