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