Lots of branches

[Ahmet Altay]

Hello all,

Our git repo has lots of branches for cherry picks, patches, reverts etc. I
believe these are artifacts of github's easy to use online editor. If you
no longer need those, could you please clean them?

Have a great weekend!
Ahmet