Hi, i asked how to delete the local branch after deleting the remote one. The helpful internet told me to try git branch -d api-doc which did what i want.
So i deleted more branches: trackno-higher-one pete_batard_gcc_warnings pete_batard_ce_v3 ts-multiextent pragmatic-multiextent By source code comparison with the commit diffs i verified that this branch somehow has been merged into "master": TS-RockRidge-Fix So i deleted it too. It did not exist locally, although it was attributed to me. The other unclear branch seems not to have made it into "master": ts-cdtext-fix I will send a separate mail about it. Have a nice day :) Thomas
