there are a lot of branches in our git that are out of use. I would like to clean up starting with merged branches. do you have a branch old branch that you don't want deleted, please shout out. Note that branches that are merged will not have their commits deleted on deletion, as they are still part of the branch they where merged into.
-- Daan
