Hi There are some git repos that has a lot of branches and its not as easy to quickly see which branch is for the released versions for backports etc.
And a lot of branches are likely from PRs that are not deleted after merge. Can we cleanup, its maybe easier to do via github web where you can click "delete". -- Claus Ibsen ----------------- @davsclaus Camel in Action 2: https://www.manning.com/ibsen2
