Permissions for committers

[Gabor Szadovszky]

Hi,

Could someone help me to have the required permissions on github so I can
push commits?

Thanks a lot,
Gabor