[Maria-developers] Deleting unused branches on github