maria-developers team mailing list archive

[Valentin Rakush <valentin.rakush@xxxxxxxxx>]

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 <vicentiu@xxxxxxxxxxx>
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 <valentin.rakush@xxxxxxxxx>
> 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     : maria-developers@xxxxxxxxxxxxxxxxxxx
>> Unsubscribe : https://launchpad.net/~maria-developers
>> More help   : https://help.launchpad.net/ListHelp
>>
>


-- 
Best Regards,
Valentin Rakush.