Hi Rafael,

I would like to rename default branch 2.5.x-develop according to our development process to 2.6.x-develop.

I did

git branch -m 2.5.x-develop 2.6.x-develop
git push origin 2.
6.x-develop

Unfortunately I don't have enough permissions to set default branch in the repository. So please set default branch to 2.6.x-develop and then I can continue with

git push origin :2.6.x-develop

or you can just delete the 2.5.x-develop on github UI.

Cheers,

-- 
Marek Novotny
--
WFK and Seam Product Lead

Red Hat Czech s.r.o.
Purkynova 99
612 45 Brno