I deleted the following branches at bitbucket: origin/barry/add-snespseudo origin/barry/august-tutorial origin/barry/twitter
origin/knepley/dmswarm origin/knepley/sr-driver origin/jose/mumps-bugfix origin/shri/external-package-KLU origin/shri/feature-dm-circuit Also deleted the following [as its same as origin/barry/august-tutorial - and the changes were rebased/added to master at some point]. origin/jed/august-tutorial *Everyone* (with a git clone) could do the following in their clones to sync the 'branch list' in the clone [this way 'git branch -r' gives a sane listing] git remote prune origin After the prune - you are likely to see 170 remote branches. $ git branch -r |wc -l 170 And to get a list of local branches that are not on server - you can do: [from bash] comm -13 <(git branch -r | sort | sed s~origin/~~) <(git branch | sort) >From the above list of of branches deleted on server - the branches already merged can be deleted from the local clone with: git branch -d branchname And the abandoned branches [listed above] can be deleted in the local clone with: git branch -D branchname Satish
