Hi Vicențiu, hi Sergei, thank you for explanations, yesterday I have submitted pull request https://github.com/MariaDB/server/pull/398 It does not have assignee or reviewers and I am not sure if somebody will be able to see it. Please have a look.
Thank you, Valentin On Thu, May 25, 2017 at 12:44 PM, Vicențiu Ciorbaru <[email protected]> wrote: > Hi Valentin! > > The correct way to do a pull request is to create your own fork of the > server repository. You don't need any special permissions for that. > Afterwards, push your changes to your fork. Finally, click on New pull > request button in *your* repository. Select the appropriate branch for the > base fork and the appropriate branch from your head fork. Submit the pull > request and we'll take it from there. > > Regards, > Vicențiu > > On Thu, 25 May 2017 at 12:37 Valentin Rakush <[email protected]> > wrote: > >> 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 >> _______________________________________________ >> Mailing list: https://launchpad.net/~maria-developers >> Post to : [email protected] >> Unsubscribe : https://launchpad.net/~maria-developers >> More help : https://help.launchpad.net/ListHelp >> > -- Best Regards, Valentin Rakush.
_______________________________________________ Mailing list: https://launchpad.net/~maria-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~maria-developers More help : https://help.launchpad.net/ListHelp
