Hi all,

I am trying to do first pull request to https://github.com/MariaDB/server but I cannot push my new branch to github. Git says 

"ERROR: Permission to MariaDB/server.git denied to alpes214.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists."



Should I talk to somebody to get access rights first?

-- 
Kind regards,
Valentin Rakush