maria-developers team mailing list archive

[Valentin Rakush <valentin.rakush@xxxxxxxxx>]

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