prune dead branches

[ghost]

Below I have shown the branches that I see when running git branch. To my knowledge, several of the branches are now no longer of any relevance and can be deleted, then I can run git prune to delete the dead references.

[cain@x51 hayabaya]$ (master) git branch -a
* master
  remotes/origin/HEAD -> origin/master
  remotes/origin/TopicAugust05
  remotes/origin/caseclasses
  remotes/origin/dev
  remotes/origin/extra
  remotes/origin/kentaScala
  remotes/origin/kentatemp
  remotes/origin/master
  remotes/origin/meeting150522
  remotes/origin/simplifyLoopKenta
  remotes/origin/test190415
  remotes/origin/topic26
  remotes/upstream/TopicAugust05
  remotes/upstream/extra
  remotes/upstream/kentaScala
  remotes/upstream/kentaTestEnum160129
  remotes/upstream/kentatemp
  remotes/upstream/master
  remotes/upstream/meeting150522
  remotes/upstream/simplifyLoopKenta
  remotes/upstream/test190415
  remotes/upstream/topic26

[ktakagaki]

Feel free to prune away at hayabaya. I'll still have my local branches too.

[ghost]

I can't prune your remote branches can I? Well maybe I can because I'm added as a collaborator. But I don't feel entirely comfortable edeting and deleting another persons branches on his repository.

But if you would prefer it that way, sure I can do it. I will delete the remote branches on your repository and then issue a git prune command locally on my own computer so I can delete the dead references. If I accidently delete any branch I shouldn't have, you can send me a message stating which one I must leave alone and then push your local branch back up on the remote repository

[ktakagaki]

I thought you could, but I've gone ahead and converted to tags.