remote branches

[Thomas Morley]

Hi,

if I do
git branch -a
on my local repository I see a plethora of branches like:
remotes/origin/dev/harm/cleanup-fret-diagrams.scm

The patch this branch was used for was merged some time ago and I
always initiated to delete the source branch.

Why is this branch still there?


Cheers,
  Harm