maria-developers team mailing list archive
Mailing list archive
Re: Cannot push branch to github
I've just replied to your pull request. I can guarantee a time for when it
will be reviewed, but it will happen. :) Thanks again for the contribution!
On Fri, 26 May 2017 at 15:54 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,
> On Thu, May 25, 2017 at 12:44 PM, Vicențiu Ciorbaru <vicentiu@xxxxxxxxxxx>
>> 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.
>> On Thu, 25 May 2017 at 12:37 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
>>> 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.